An invariant-based approach to the verification of asynchronous parameterized networks release_z2erlk7mpjcfdovfv3kbgazzpq

by Igor V. Konnov, Vladimir A. Zakharov

Published in Journal of symbolic computation by Elsevier BV.

2010   Volume 45, Issue 11, p1144-1162

Archived Files and Locations

application/pdf  238.2 kB
file_o2cnxe5q6rgexgiikpj7vaduqq
web.archive.org (webarchive)
lvk.cs.msu.su (web)
application/pdf  292.0 kB
file_ia64bdpexjdlfikddubtz74pbe
web.archive.org (webarchive)
lvk.cs.msu.su (web)
application/pdf  739.8 kB
file_zbwyq2yqazcvdoweoettmtjgly
core.ac.uk (aggregator)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2010
Language   en ?
Journal Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0747-7171
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 78077ffa-2a5a-4e43-918a-06e7674013d0
API URL: JSON