BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
A.Muscholl I.Walukiewicz
Talks about:
asynchron (1) pushdown (1) properti (1) parametr (1) system (1) memori (1) linear (1) share (1) model (1) check (1)

Person: Marie Fortin

DBLP DBLP: Fortin:Marie

Contributed to:

CAV (2) 20172017

Wrote 1 papers:

CAV-2017-FortinMW #automaton #linear #model checking
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems (MF, AM, IW), pp. 155–175.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.