FINITE STATE MACHINES
Experts
- Axel Legay
- Friedrich Otto
- Nina Yevtushenko
- Moshe Y. Vardi
- Joost-Pieter Katoen
- Orna Kupferman
- Edmund M. Clarke
- Robert M. Hierons
- Frantisek Mráz
- Martin Kutrib
- Kim Guldstrand Larsen
- Oscar H. Ibarra
- Maurice Margenstern
- Alexandre Petrenko
- Jun Sun
- Marta Z. Kwiatkowska
- Lubos Brim
- Christel Baier
- Kai Salomaa
- Robert K. Brayton
- Thomas A. Henzinger
- Parosh Aziz Abdulla
- E. Allen Emerson
- Khaled El-Fakih
- Jiri Barnat
- Naoki Kobayashi
- Giovanni Pighizzini
- Orna Grumberg
- Mikolaj Bojanczyk
- Martin Lange
- Angelo Montanari
- Nelma Moreira
- Javier Esparza
- Rogério Reis
- Martin Plátek
- Bengt Jonsson
- Scott A. Smolka
- Manfred Droste
- Holger Hermanns
Venues
- CoRR
- Theor. Comput. Sci.
- CAV
- Electron. Notes Theor. Comput. Sci.
- SPIN
- CIAA
- CDC
- Inf. Comput.
- CONCUR
- Int. J. Found. Comput. Sci.
- ACC
- Fundam. Informaticae
- Autom.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- IEEE Trans. Autom. Control.
- Quantum Inf. Process.
- MFCS
- J. Comput. Syst. Sci.
- ICALP
- TACAS
- IEEE Access
- Int. J. Softw. Tools Technol. Transf.
- LICS
- ATVA
- IEEE Trans. Computers
- ISCAS
- DATE
- DAC
- Developments in Language Theory
- ICCAD
- DCFS
- Inf. Process. Lett.
- FSTTCS
- LATA
- Log. Methods Comput. Sci.
- IEEE Trans. Software Eng.
- STACS
- Reliab. Eng. Syst. Saf.
- VLSI Design
Related Topics
Related Keywords
Popularity