acta informatica (10)
international journal of foundations of computer science (5)
fundamenta informaticae (4)
information and computation (3)
theoretical computer science (3)
35th iarcs annual conference on foundations of software technology and theoretical computer science (2)
formal methods in system design (2)
journal of archaeological science (2)
real-time systems (2)
2013 13th international conference on application of concurrency to system design (1)
2013 13th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2013 13th international conference on (1)
2017 17th international conference on application of concurrency to system design (acsd), application of concurrency to system design (acsd), 2017 17th international conference on, acsd (1)
2018 23rd international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2018 23rd international conference on, iceccs (1)
26th international conference on concurrency theory (1)
38th iarcs annual conference on foundations of software technology and theoretical computer science (1)
39th iarcs annual conference on foundations of software technology and theoretical computer science (1)
44th international colloquium on automata, languages, and programming (1)
acm transactions on embedded computing systems (1)
application & theory of petri nets & concurrency (1)
application and theory of petri nets and concurrency (1)
automata, languages and programming. part ii (1)
automated technology for verification & analysis (9783319024431) (1)
automated technology for verification & analysis (9783540755951) (1)
automated technology for verification & analysis (9783642156427) (1)
computer aided verification (1)
computer aided verification (9783540272311) (1)
concur 2014 - concurrency theory (1)
concur 2014---concurrency theory (1)
formal methods in system design: an international journal (1)
formal modeling & analysis of timed systems (9783642043673) (1)
formal modeling & analysis of timed systems (9783642152962) (1)
formal modeling & analysis of timed systems (9783642402289) (1)
formal modeling & analysis of timed systems: 12th international conference, formats 2014, florence, italy, september 8-10, 2014. proceedings (1)
formal modeling & analysis of timed systems: 14th international conference, formats 2016, quebec, qc, canada, august 24-26, 2016, proceedings (1)
formal modeling and analysis of timed systems (1)
fsttcs 2004: foundations of software technology and theoretical computer science (1)
information & computation (1)
journal of computer and system sciences (1)
logical methods in computer science (1)
logical methods in computer science (lmcs) (1)
proceedings eighth international symposium on games, automata, logics and formal verification (1)
reachability problems (1)
reachability problems: 8th international workshop, rp 2014, oxford, uk, september 22-24, 2014. proceedings (1)
real-time systems: the international journal of time-critical computing systems (1)