CTL MODEL UPDATE
Experts
- Martin Lange
- Adriano Peron
- Yulin Ding
- Alberto Molinari
- Angelo Montanari
- Joost-Pieter Katoen
- Axel Legay
- Yan Zhang
- Laura Bozzelli
- Peter Lohmann
- Jerzy Marcinkowski
- Stefan Szeider
- 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
- Paolo Baldan
- Julian-Steffen Müller
- Jeff B. Paris
- Peter J. Stuckey
- Holger Hermanns
- Witold Lukaszewicz
- João Leite
- Leandro Dias da Silva
- Serdar Tasiran
- Alexander Krupp
- Renata Wassermann
- Jamal Bentahar
- Marta Z. Kwiatkowska
- Yan Zhang
Venues
- CoRR
- TACAS
- Electron. Notes Theor. Comput. Sci.
- CAV
- Synth.
- IACR Cryptol. ePrint Arch.
- KR
- DATE
- CONCUR
- FMCAD
- ECAI
- Int. J. Softw. Tools Technol. Transf.
- Concurr. Comput. Pract. Exp.
- CSL
- ACM Trans. Comput. Log.
- Theor. Comput. Sci.
- IEEE Trans. Software Eng.
- Log. Methods Comput. Sci.
- SPIN
- ASE
- ACC
- Computational Logic
- Stud Logica
- Inf. Comput.
- ISoLA (1)
- Int. J. Crit. Comput. Based Syst.
- J. Philos. Log.
- FM
- Infotech@Aerospace
- Frontiers Comput. Sci.
- LFCS
- ICTAI
- J. Log. Comput.
- Comput. Sci. J. Moldova
- FoSSaCS
- FORTE
- Fundam. Informaticae
- Sci. Comput. Program.
- APLAS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend