Automated protocol modeling and verification combining an entity-based specification language and Petri nets.

Sol M. Shatz, Toshinori Suzuki, Tadao Murata

Browse the full COMPSAC paper archive.