CTL MODEL UPDATE
Experts
- Martin Lange
- Adriano Peron
- Yulin Ding
- Alberto Molinari
- Angelo Montanari
- Joost-Pieter Katoen
- Axel Legay
- Yan Zhang
- Peter Lohmann
- Laura Bozzelli
- Stefan Szeider
- Jerzy Marcinkowski
- Wojciech Penczek
- Yasir Mahmood
- Johannes Ebbing
- Lijun Zhang
- Doron A. Peled
- Roland Axelsson
- Ming Xu
- Arne Meier
- Pietro Sala
- Jan Chomicki
- Simone Bova
- Rafal Somla
- Robert Ganian
- Julian-Steffen Müller
- Holger Hermanns
- Jeff B. Paris
- Peter J. Stuckey
- João Leite
- Witold Lukaszewicz
- Leandro Dias da Silva
- Serdar Tasiran
- Alexander Krupp
- Renata Wassermann
- Marta Z. Kwiatkowska
- Yan Zhang
- Jamal Bentahar
- Amin Rezaei
Venues
- CoRR
- TACAS
- Synth.
- CAV
- Electron. Notes Theor. Comput. Sci.
- IACR Cryptol. ePrint Arch.
- CONCUR
- DATE
- KR
- Int. J. Softw. Tools Technol. Transf.
- FMCAD
- ECAI
- Theor. Comput. Sci.
- ACM Trans. Comput. Log.
- CSL
- Concurr. Comput. Pract. Exp.
- ISoLA (1)
- Inf. Comput.
- Int. J. Crit. Comput. Based Syst.
- J. Philos. Log.
- Stud Logica
- Computational Logic
- ASE
- ACC
- SPIN
- IEEE Trans. Software Eng.
- Log. Methods Comput. Sci.
- FORTE
- Sci. Comput. Program.
- Fundam. Informaticae
- J. Log. Comput.
- FoSSaCS
- Comput. Sci. J. Moldova
- LFCS
- ICTAI
- Infotech@Aerospace
- FM
- Frontiers Comput. Sci.
- SELMAS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend