BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
Talks about:
parallel (1) unfold (1) petri (1) model (1) level (1) check (1) high (1) base (1) net (1) ltl (1)

Person: Claus Schröter

DBLP DBLP: Schr=ouml=ter:Claus

Contributed to:

CAV 20042004

Wrote 1 papers:

CAV-2004-SchroterK #model checking #parallel #petri net
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings (CS, VK), pp. 109–121.

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.