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