Verifying Properties of Large Sets of Processes with Network Invariants
P. Wolper, and V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, page 68--80. London, UK, Springer-Verlag, (1990)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 703266
%A Wolper, Pierre
%A Lovinfosse, Vinciane
%B Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
%C London, UK
%D 1990
%I Springer-Verlag
%K concurrent networkinvariant parameterized verification
%P 68--80
%T Verifying Properties of Large Sets of Processes with Network Invariants
%U http://portal.acm.org/citation.cfm?id=703266
%@ 3-540-52148-8
@inproceedings{703266,
added-at = {2010-01-13T14:44:21.000+0100},
address = {London, UK},
author = {Wolper, Pierre and Lovinfosse, Vinciane},
biburl = {https://www.bibsonomy.org/bibtex/21e31c9d754369e0dcdf653dd8d8c9687/giuliano.losa},
booktitle = {Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems},
description = {Verifying Properties of Large Sets of Processes with Network Invariants},
interhash = {56f0bec8ae295ab1af8a164c586f510f},
intrahash = {1e31c9d754369e0dcdf653dd8d8c9687},
isbn = {3-540-52148-8},
keywords = {concurrent networkinvariant parameterized verification},
pages = {68--80},
publisher = {Springer-Verlag},
timestamp = {2010-01-13T14:44:21.000+0100},
title = {Verifying Properties of Large Sets of Processes with Network Invariants},
url = {http://portal.acm.org/citation.cfm?id=703266},
year = 1990
}