BibTeX
CSL-JSON
MLA
Harvard
An invariant-based approach to the verification of asynchronous parameterized networks
release_z2erlk7mpjcfdovfv3kbgazzpq
by
Igor V. Konnov, Vladimir A. Zakharov
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
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar