computer aided verification (9783540733676) (54)
formal methods in system design (6)
science of computer programming (6)
european journal of control (5)
acta informatica (4)
cyber-physical systems (4)
international journal of foundations of computer science (4)
ieee software (3)
ieee transactions on software engineering (3)
it - information technology (3)
mathematics in computer science (3)
fm 2014: formal methods (2)
fm 2015: formal methods (2)
formal methods in system design: an international journal (2)
ieee design & test of computers (2)
informatik-spektrum: organ der gesellschaft fur informatik e.v. und mit ihr assoziierter organisationen (2)
information and control (2)
mathematical structures in computer science (2)
science of computer programming. methods of software design: techniques and applications (2)
theoretical computer science (2)
2011 design, automation & test in europe, design, automation & test in europe conference & exhibition (date), 2011 (1)
2018 ieee/acm 1st international workshop on software engineering for ai in autonomous systems (sefaias), software engineering for ai in autonomous systems (sefaias), 2018 ieee/acm 1st international workshop on, sefaias (1)
automata, languages and programming (aarhus, 1982) (1)
automata, languages and programming (fifth internat. colloq., udine, 1978) (1)
automata, languages and programming (fourth colloq., univ. turku, turku, 1977) (1)
automated technology for verification & analysis (1)
caap '81 (proc. sixth colloq., genoa, 1981) (1)
computer aided verification (1)
concur'98: concurrency theory (nice) (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
fm 2011: formal methods (1)
formal aspects of computing (1)
formal aspects of computing: applicable formal methods (1)
formal description of programming concepts (proc. ifip working conf., st. andrews, n.b., 1977) (1)
foundations of software technology and theoretical computer science (chennai, 1998) (1)
frontiers of combining systems (1)
hscc'11---hybrid systems: computation and control (1)
hscc'14---proceedings of the 17th international conference on hybrid systems: computation and control (part of cps week) (1)
ieee design & test of computers, design & test of computers, ieee, ieee des. test. comput. (1)
ifac proceedings volumes (1)
international journal of control (1)
it - information technology: methoden und innovative anwendungen der informatik und informationstechnik (1)
logics of programs (pittsburgh, pa., 1983) (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
next generation design & verification methodologies for distributed embedded control systems (1)
principles of modeling (1)
proceedings fifth workshop on synthesis (1)
program analysis & compilation, theory & practice (1)
programming concepts, methods and calculi (san miniato, 1994) (1)