Effective Recognizability and Model Checking of Reactive Fiffo Automata
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Verification of Embedded Reactive Fiffo Systems
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Theoretical Computer Science - Implementation and application of automata
Verification of programs with half-duplex communication
Information and Computation
Verification of programs with half-duplex communication
Information and Computation
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Communicating timed automata: the more synchronous, the more difficult to verify
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
| Hi-index | 5.23 |