artificial intelligence (20)
information and computation (11)
formal methods in system design (10)
formal methods in system design: an international journal (7)
software & systems modeling (7)
computer aided verification (6)
ieee transactions on computer-aided design of integrated circuits & systems (6)
logical methods in computer science (6)
acm transactions on computational logic (5)
acta informatica (5)
electronic notes in theoretical computer science (5)
international journal of foundations of computer science (5)
journal of automated reasoning (5)
computer aided verification. part i (4)
formal aspects of computing (4)
information & computation (4)
journal of artificial intelligence research (4)
science of computer programming (4)
2012 formal methods in computer-aided design (fmcad) (3)
2012 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2012 (3)
annals of mathematics and artificial intelligence (3)
computer aided verification. part ii (3)
computer journal (3)
entcs: electronic notes in theoretical computer science (3)
fm 2016: formal methods (3)
information processing letters (3)
runtime verification (3)
software and systems modeling (3)
2009 formal methods in computer-aided design, formal methods in computer-aided design, 2009. fmcad 2009 (2)
acm transactions on intelligent systems & technology (2)
applied artificial intelligence (2)
computer aided verification (9783319088662) (2)
computer aided verification (9783540733676) (2)
computer aided verification (9783642142949) (2)
computer aided verification (9783642314230) (2)
constraints: an international journal (2)
formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 (2)
icse: international conference on software engineering (2)
ieee transactions on computer-aided design of integrated circuits and systems (2)
implementation and application of automata (2)
international journal on software tools for technology transfer (2)
logic for programming, artificial intelligence & reasoning (9783540482819) (2)
logic for programming, artificial intelligence, and reasoning (2)
logical methods in computer science (lmcs) (2)
reliability engineering & system safety (2)
sensors (14248220) (2)
tools & algorithms for the construction & analysis of systems: 20th international conference, tacas 2014, held as part of the european joint conferences on theory & practice of software, etaps 2014, grenoble, france, april 5-13, 2014. proceedings (2)
2008 9th international workshop on discrete event systems, discrete event systems, 2008. wodes 2008. 9th international workshop on (1)
annals of mathematics & artificial intelligence (1)
computer systems and software engineering : concepts, methodologies, tools, and applications (1)