Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}