CTL MODEL UPDATE
Experts
- Martin Lange
- Adriano Peron
- Alberto Molinari
- Angelo Montanari
- Yulin Ding
- Joost-Pieter Katoen
- Axel Legay
- Doron A. Peled
- Robert Ganian
- Pietro Sala
- Johannes Ebbing
- Jan Chomicki
- Yan Zhang
- Jerzy Marcinkowski
- Roland Axelsson
- Lijun Zhang
- Laura Bozzelli
- Ming Xu
- Yasir Mahmood
- Peter Lohmann
- Rafal Somla
- Arne Meier
- Simone Bova
- Wojciech Penczek
- Stefan Szeider
- Tommaso Padoan
- Alexander Moshe Rabinovich
- Caroline Fontaine
- Claudio Menghi
- Jeff B. Paris
- Massimo Benerecetti
- Marta Z. Kwiatkowska
- Julian-Steffen Müller
- Márcio Moretto Ribeiro
- Mohamed El-Menshawy
- Leandro Dias da Silva
- Heribert Vollmer
- João Leite
- Alexander Krupp
Venues
- CoRR
- TACAS
- IACR Cryptol. ePrint Arch.
- CAV
- Synth.
- Electron. Notes Theor. Comput. Sci.
- KR
- DATE
- CONCUR
- CSL
- Int. J. Softw. Tools Technol. Transf.
- FMCAD
- Concurr. Comput. Pract. Exp.
- Theor. Comput. Sci.
- ACM Trans. Comput. Log.
- ECAI
- J. Log. Comput.
- FM
- ISoLA (1)
- Inf. Comput.
- Stud Logica
- Fundam. Informaticae
- LFCS
- Frontiers Comput. Sci.
- J. Philos. Log.
- Int. J. Crit. Comput. Based Syst.
- FoSSaCS
- Comput. Sci. J. Moldova
- ASE
- IEEE Trans. Software Eng.
- Computational Logic
- Sci. Comput. Program.
- ICTAI
- Log. Methods Comput. Sci.
- SPIN
- ACC
- Infotech@Aerospace
- FORTE
- CAV (2)
Related Topics
Related Keywords
Popularity