| | 2007 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | | | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??], | Electronic Journal Article | |
| | 2006 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | [Cook, Byron]
[Sebastiani, Roberto] | | Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26 | Electronic Proceedings Article | |
1 |
| Jeusfeld, Manfred A. (ed.) |
| |
3 |
| Jouannaud, Jean-Pierre (ed.) |
| |
1 |
| Kaoen, Joost-Pieter (ed.) |
| |