Traces of I/O-Automata in Isabelle/HOLCF (1997)

by Olaf Müller , Tobias Nipkow
Venue:TAPSOFT'97: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, VOLUME 1214 OF LNCS
Citations:14 - 5 self