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 × Canada
1 × Denmark
1 × Greece
1 × USA
Collaborated with:
Talks about:
behavior (2) automata (2) partial (2) verifi (2) order (2) time (2) constraint (1) nonbinari (1) asynchron (1) problem (1)

Person: David K. Probst

DBLP DBLP: Probst:David_K=

Facilitated 1 volumes:

CAV 1992Ed

Contributed to:

CAV 19931993
CAV 19921992
CAV 19911991
CAV 19901990

Wrote 4 papers:

CAV-1993-ProbstL #automaton #behaviour #verification
Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.
CAV-1992-ProbstL #automaton #behaviour #constraints #verification
Verifying Timed Behavior Automata with Nonbinary Delay Constraints (DKP, HFL), pp. 123–136.
CAV-1991-ProbstL #model checking #partial order
Partial-Order Model Checking: A Guide for the Perplexed (DKP, HFL), pp. 322–331.
CAV-1990-ProbstL #explosion #partial order #problem #semantics #using
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems (DKP, HFL), pp. 146–155.

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.