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

by O Müller, T Nipkow
Venue:in Proc. 7th Conference on Theory and Practice of Software Development, Springer, LNCS 1214