1. A semantics based verification tool for finite state systems;cleaveland;Proc IFIP Symp on Protocol Specification Testing and Verification,1989
2. FSM inference and checking sequence construction are two sides of the same coin
3. Integrating grammatical inference into robotic planning;chandlee;Proc 7th Int Conf Grammatical Inference,2012
4. Verifying a CSMA/CD-protocol with CCS;parrow;Proceedings of the 7th symposium on Protocol Specification Testing and Verification IFIP,1987