Modern applications of automata theory /
Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To th...
Saved in:
Other Authors: | , |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Singapore ; Hackensack :
World Scientific,
©2012.
|
Series: | IISc research monographs series ;
2. |
Subjects: | |
Online Access: | CONNECT |