publication venue for
- Deriving Synchronizing and Homing Sequences for Input/Output Automata. 52:589-595. 2018
- A SPIN-based approach for detecting vulnerabilities in C programs. 46:379-386. 2012
Automatic Control and Computer Sciences
Journal
Overview
Identity
International Standard Serial Number (ISSN)
- 0146-4116