The following pages link to Philippe Schnoebelen (Q1045896):
Displaying 20 items.
- (Q5144688) (← links)
- (Q5207052) (← links)
- On Reachability for Unidirectional Channel Systems Extended with Regular Tests (Q5246728) (← links)
- Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties (Q5277794) (← links)
- (Q5278312) (← links)
- The Height of Piecewise-Testable Languages with Applications in Logical Complexity (Q5278426) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311486) (← links)
- Validation of Stochastic Systems (Q5325845) (← links)
- (Q5376657) (← links)
- On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems (Q5387903) (← links)
- The ω-Regular Post Embedding Problem (Q5458353) (← links)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464768) (← links)
- Automated Technology for Verification and Analysis (Q5491888) (← links)
- On the State Complexity of Closures and Interiors of Regular Languages with Subwords (Q5496192) (← links)
- The Power of Priority Channel Systems (Q5891112) (← links)
- The Power of Priority Channel Systems (Q5892062) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900570) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)
