Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David K. Probst
Verifying Timed Behavior Automata With Input/Output Critical Races
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Internet Protocols With Input and Output Automata
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discrete Timed Automata
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robustness in Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Timed Automata With Independently Evolving Clocks
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Verifying Timed BPMN Processes Using Maude
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Frequencies in Forgetful Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robust Safety of Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software