CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Tobias Nipkow and Konrad Slind, "I/O Automata in Isabelle/HOL", Proc. of TYPES Workshop, 1994. (To appear in Springer-Verlag's LNCS series.)

CiteSeer.IST - Copyright Penn State and NEC