The following pages link to Pierre-Yves Schobbens (Q685614):
Displayed 29 items.
- (Q236080) (redirect page) (← links)
- The logic of ``initially'' and ``next'': complete axiomatization and complexity (Q294659) (← links)
- Exceptions for algebraic specifications: On the meaning of ``but'' (Q685615) (← links)
- Generic semantics of feature diagrams (Q856940) (← links)
- Counterfactuals and updates as inverse modalities (Q1357671) (← links)
- (Q1853061) (redirect page) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
- Belief revision and verisimilitude (Q1903576) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- (Q2844043) (← links)
- (Q2848430) (← links)
- (Q2863856) (← links)
- Memory Event Clocks (Q3588095) (← links)
- (Q4251916) (← links)
- (Q4255574) (← links)
- Operators and Laws for Combining Preference Relations (Q4329521) (← links)
- (Q4496260) (← links)
- (Q4737004) (← links)
- (Q4739288) (← links)
- (Q4817052) (← links)
- (Q4824478) (← links)
- (Q4939602) (← links)
- (Q4942099) (← links)
- Distributed Event Clock Automata (Q5200069) (← links)
- Information Security (Q5492771) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703780) (← links)
- Foundations of Software Science and Computational Structures (Q5705898) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709991) (← links)
- Axioms for real-time logics (Q5958467) (← links)