%0 Generic %1 Calder02fiveways %A Calder, M. %A Miller, A. %D 2002 %K induction modelchecking symmetry verification %T Five Ways to Use Induction and Symmetry in the Verification of Networks of Processes By Model-Checking %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.7938 %X The verification of networks of processes by model-checking is discussed. Five classes of...

@misc{Calder02fiveways, abstract = {The verification of networks of processes by model-checking is discussed. Five classes of...}, added-at = {2010-01-21T12:22:16.000+0100}, author = {Calder, M. and Miller, A.}, biburl = {https://www.bibsonomy.org/bibtex/2101691460b05fa54180e45c428431161/giuliano.losa}, description = {Five Ways to Use Induction and Symmetry in the Verification of Networks of Processes By Model-Checking}, interhash = {975d8e7bfe0c8f918300de2fb2b18568}, intrahash = {101691460b05fa54180e45c428431161}, keywords = {induction modelchecking symmetry verification}, timestamp = {2010-01-21T12:22:16.000+0100}, title = {Five Ways to Use Induction and Symmetry in the Verification of Networks of Processes By Model-Checking}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.7938}, year = 2002 }