international journal on software tools for technology transfer (13)
international journal of foundations of computer science (10)
ieee transactions on computer-aided design of integrated circuits & systems (3)
journal of systems architecture (3)
verification, model checking, and abstract interpretation (3)
formal methods in system design (2)
journal of logic and algebraic programming (2)
tools & algorithms for the construction & analysis of systems (9783642367410) (2)
2012 european intelligence & security informatics conference (1)
2012 european intelligence and security informatics conference, intelligence and security informatics conference (eisic), 2012 european (1)
2012 ieee 21st asian test symposium (1)
2012 ieee 21st asian test symposium, test symposium (ats), 2012 ieee 21st asian (1)
2013 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2013 (1)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (1)
2018 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2018 (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
acm / sigplan notices (1)
acm transactions on embedded computing systems (1)
computer aided verification (1)
computer aided verification (9783319088662) (1)
computer aided verification (9783319216898) (1)
computer aided verification (9783540705437) (1)
computer aided verification (9783540733676) (1)
computer aided verification (9783642142949) (1)
computer aided verification. part i (1)
concur 2006 - concurrency theory (9783540373766) (1)
concur 2006---concurrency theory (1)
concur 2010 - concurrency theory (1)
concur 2010---concurrency theory (1)
entcs: electronic notes in theoretical computer science (1)
formal methods in system design: an international journal (1)
formal techniques for distributed systems (1)
formal techniques for networked & distributed systems - forte 2008 (1)
icassp 2023 - 2023 ieee international conference on acoustics, speech and signal processing (icassp) (1)
icassp 2023 - 2023 ieee international conference on acoustics, speech and signal processing (icassp), acoustics, speech and signal processing (icassp), icassp 2023 - 2023 ieee international conference on (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
journal of logic & algebraic programming (1)
language & automata theory & applications: 8th international conference, lata 2014, madrid, spain, march 10-14, 2014. proceedings (1)
language and automata theory and applications (1)
networked systems (1)
proceedings of the conference: design, automation & test in europe (1)
reachability problems (1)
static analysis (1)
static analysis (9783642331244) (1)
the journal of logic and algebraic programming (1)
theoretical aspects of computing - ictac 2008 (1)
theoretical aspects of computing---ictac 2008 (1)
tools & algorithms for the construction & analysis of systems (9783540253334) (1)
tools & algorithms for the construction & analysis of systems (9783642287558) (1)
verification, model checking & abstract interpretation (9783540781622) (1)