|
Journals in DBLP
Inf. Comput. 1994, volume: 111, number: 2
- Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
Symbolic Model Checking for Real-Time Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:111, n:2, pp:193-244 [Journal]
- Jean-Pierre Talpin, Pierre Jouvelot
The Type and Effect Discipline [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:111, n:2, pp:245-296 [Journal]
- Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen
Fully Abstract Semantics for Observably Sequential Languages [Citation Graph (0, 0)][DBLP] Inf. Comput., 1994, v:111, n:2, pp:297-401 [Journal]
|