Synthesis of interface automata. (2005)

by P Bhaduri
Venue:In Proc. of the 3rd Automated Technology for Verification and Analysis Conference (ATVA’05), volume Lecture Notes in Computer Science 3707,