Interface Automata (2001)

by Luca de Alfaro , Thomas A. Henzinger
Venue:Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM
Citations:333 - 22 self