CTL MODEL UPDATE
Experts
- Martin Lange
- Adriano Peron
- Yulin Ding
- Angelo Montanari
- Alberto Molinari
- Axel Legay
- Joost-Pieter Katoen
- Jerzy Marcinkowski
- Arne Meier
- Robert Ganian
- Doron A. Peled
- Peter Lohmann
- Yasir Mahmood
- Rafal Somla
- Lijun Zhang
- Johannes Ebbing
- Stefan Szeider
- Wojciech Penczek
- Yan Zhang
- Jan Chomicki
- Ming Xu
- Laura Bozzelli
- Roland Axelsson
- Simone Bova
- Pietro Sala
- Peter J. Stuckey
- Massimo Benerecetti
- Ou Wei
- Ewa Madalinska-Bugaj
- Diego Latella
- Maximilian Gorsky
- Renata Wassermann
- Caroline Fontaine
- Mohamed El-Menshawy
- Natasha Alechina
- Hai Zhou
- Holger Hermanns
- Ruurd Kuiper
- Ricardo Gonçalves
Venues
- CoRR
- TACAS
- CAV
- Electron. Notes Theor. Comput. Sci.
- IACR Cryptol. ePrint Arch.
- Synth.
- CONCUR
- DATE
- KR
- ACM Trans. Comput. Log.
- Theor. Comput. Sci.
- Int. J. Softw. Tools Technol. Transf.
- ECAI
- Concurr. Comput. Pract. Exp.
- FMCAD
- CSL
- Stud Logica
- J. Philos. Log.
- FM
- ASE
- J. Log. Comput.
- LFCS
- Inf. Comput.
- ISoLA (1)
- Fundam. Informaticae
- Int. J. Crit. Comput. Based Syst.
- Infotech@Aerospace
- FoSSaCS
- FORTE
- ACC
- SPIN
- Frontiers Comput. Sci.
- Computational Logic
- Comput. Sci. J. Moldova
- ICTAI
- Sci. Comput. Program.
- Log. Methods Comput. Sci.
- IEEE Trans. Software Eng.
- WILF
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend