(2004), pp. 96-107.
(10 Sep 2005)
Functional and Logic Programming (2008), pp. 81-96.
(2008)
(24 November 2004)
(1991), pp. 431-507.
(1996), pp. 27-48.
Diagrammatic Representation and Inference (2004), pp. 18-21.
(11 July 1996)
ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
by Edmund M
Clarke, Jeannette M
Wing, Rajeev
Alur, Rance
Cleaveland, David
Dill, Allen
Emerson, Stephen
Garland, Steven
German, John
Guttag, Anthony
Hall, Thomas
Henzinger, Gerard
Holzmann, Cliff
Jones, Robert
Kurshan, Nancy
Leveson, Kenneth
Mcmillan, J
Moore, Doron
Peled, Amir
Pnueli, John
Rushby, Natarajan
Shankar, Joseph
Sifakis, Prasad
Sistla, Bernhard
Steffen, Pierre
Wolper, Jim
Woodcock, Pamela
ZaveJournal of Logic, Language and Information, Vol. 8, No. 3. (1999), pp. 265-271.
Types for Proofs and Programs (2003), pp. 617-617.
ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292.
(April 2008)
(April 2008)
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308.
(2002)
Vol. 14 (1997), pp. 79-130.
No. 04381. (2005)
(23 April 1998)
(30 September 2007)
(1999), pp. 214-227.
(2002), pp. 1-16.
Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205.
(19 November 2004)
Vol. 2 (1992)
J. Funct. Program., Vol. 10, No. 4. (July 2000), pp. 409-415.
(2002), pp. 1-41.
Types for Proofs and Programs (2007), pp. 237-252.
(05 May 2003)
(2004), pp. 33-44.
(2006)
(2006), pp. 120-121.
(2006), pp. 72-83.
(1998)
Vol. 523 (1991), pp. 124-144.
Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768.
(2003)
(2003)
J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372.
ACM Computing Surveys, Vol. 28, No. 4es. (1996), pp. 196-196.
SIGPLAN Notices, Vol. 35, No. 6. (2000), pp. 26-36.
(1999), pp. 109-122.
(1998), pp. 134-142.
(30 June 2005)
(1997)
(07 August 1991)
(01 March 2002)
