On Effective Methods for Diagnosis of Retaining Faults in Circuits
Fundamenta Informaticae
Formal Methods in System Design
Parity games played on transition graphs of one-counter processes
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
On Winning Conditions of High Borel Complexity in Pushdown Games
Fundamenta Informaticae
| Hi-index | 0.00 |