I/O Automata in Isabelle/HOL (1995)

by Tobias Nipkow , Konrad Slind
Venue:Types for Proofs and Programs, volume 996 of Lecture Notes in Computer Science
Citations:22 - 2 self