CTL MODEL UPDATE
Experts
- Martin Lange
- Angelo Montanari
- Adriano Peron
- Alberto Molinari
- Yulin Ding
- Axel Legay
- Joost-Pieter Katoen
- Ming Xu
- Jerzy Marcinkowski
- Stefan Szeider
- Rafal Somla
- Laura Bozzelli
- Johannes Ebbing
- Doron A. Peled
- Yan Zhang
- Wojciech Penczek
- Lijun Zhang
- Peter Lohmann
- Yasir Mahmood
- Arne Meier
- Simone Bova
- Roland Axelsson
- Jan Chomicki
- Pietro Sala
- Robert Ganian
- José Meseguer
- Natasha Alechina
- Claudio Menghi
- Serdar Tasiran
- Leandro Dias da Silva
- Danièle Beauquier
- Amin Rezaei
- Patrick Doherty
- Miguel J. Hornos
- Jingyi Mei
- Mariëlle Stoelinga
- Amine Laarej
- Matthias Knorr
- Hai Zhou
Venues
- CoRR
- TACAS
- Electron. Notes Theor. Comput. Sci.
- IACR Cryptol. ePrint Arch.
- CAV
- Synth.
- KR
- DATE
- CONCUR
- ECAI
- Int. J. Softw. Tools Technol. Transf.
- CSL
- Concurr. Comput. Pract. Exp.
- FMCAD
- Theor. Comput. Sci.
- ACM Trans. Comput. Log.
- FoSSaCS
- Int. J. Crit. Comput. Based Syst.
- ICTAI
- FORTE
- Log. Methods Comput. Sci.
- IEEE Trans. Software Eng.
- Comput. Sci. J. Moldova
- J. Log. Comput.
- ACC
- Infotech@Aerospace
- ISoLA (1)
- ASE
- Inf. Comput.
- Computational Logic
- LFCS
- J. Philos. Log.
- SPIN
- FM
- Fundam. Informaticae
- Frontiers Comput. Sci.
- Stud Logica
- Sci. Comput. Program.
- ICCSA (5)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend