DMCA

Modal Interface Automata (2013)

by Walter Vogler
Venue:Logical Methods in Computer Science 9(3:4
Citations:6 - 3 self