Addressing State Explosion in Behavior Protocol Verification.

Proceedings paper

Title:

Authors:

Publication:

4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA

Year:

2004

BibTeX:

@inproceedings{mach_addressing_2004,
    title = {{Addressing State Explosion in Behavior Protocol Verification.}},
    author = {Mach, Martin and Plasil, Frantisek},
    year = {2004},
    booktitle = {{4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA}},
    pages = {327--333},
}