- Record: found
- Abstract: not found
- Book Chapter: not found
Language and Automata Theory and Applications
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications
other
February 24 2015
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references41
- Record: found
- Abstract: not found
- Book: not found
Transductions and Context-Free Languages
Jean Berstel (1979)
- Record: found
- Abstract: not found
- Article: not found
Formal verification of parallel programs
Robert Keller (1976)
- Record: found
- Abstract: not found
- Article: not found
Dynamically discovering likely program invariants to support program evolution
J Cockrell, W.G. Griswold, D. Notkin … (2001)