Network grammars, communication behaviors and automatic verification,” in Automatic Verification Methods for Finite State Systems (1990)

by Z Shtadler, O Grumberg