international journal of foundations of computer science (7)
theory of computing systems (5)
computer aided verification (4)
journal of automated reasoning (4)
ieee transactions on software engineering (3)
logical methods in computer science (3)
theoretical computer science (3)
computer aided verification (9783642142949) (2)
computer aided verification (9783642314230) (2)
computer aided verification. part i (2)
computer aided verification. part ii (2)
mathematical structures in computer science (2)
tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (2)
verification, model checking, and abstract interpretation (2)
2014 21st asia-pacific software engineering conference (1)
2014 21st asia-pacific software engineering conference, software engineering conference (apsec), 2014 21st asia-pacific (1)
2016 ieee/acm 38th international conference on software engineering (icse), software engineering (icse), 2016 ieee/acm 38th international conference on, icse (1)
2019 34th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2019 34th ieee/acm international conference on (1)
29th international conference on concurrency theory (1)
acm / sigplan notices (1)
acm sigplan notices (1)
acm transactions on software engineering and methodology (1)
application and theory of petri nets 1993 (chicago, il, 1993) (1)
automated technology for verification & analysis (9783319024431) (1)
computer aided verification (9783319216898) (1)
computer aided verification. part iii (1)
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i (1)
concur 2007 - concurrency theory (1)
concur 2007---concurrency theory (1)
concur'99: concurrency theory (eindhoven) (1)
dissertation abstract international (1)
dissertation abstracts international (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
implementation & applications of automata (1)
implementation and application of automata (1)
journal of applied mathematics (1)
leveraging applications of formal methods, verification & validation (9783642165573) (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
nasa formal methods (9783642288906) (1)
networked systems (1)
proceedings 15th international workshop on verification of infinite-state systems (1)
proceedings of the 2006 acm symposium: applied computing (1)
programming languages & systems (9783642171635) (1)
static analysis: 21st international symposium, sas 2014, munich, germany, september 11-13, 2014. proceedings (1)
tools & algorithms for the construction & analysis of systems (9783540787990) (1)
tools & algorithms for the construction & analysis of systems (9783642007675) (1)
tools & algorithms for the construction & analysis of systems (9783642198342) (1)
tools & algorithms for the construction & analysis of systems (9783642367410) (1)
verification, model checking & abstract interpretation (9783642113185) (1)