Languages
Katoen, Joost-Pieter.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Principles of model checking
by:
Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc.
(Electronic resources)
CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /
by:
Konig, Barbara.; SpringerLink (Online service); Katoen, Joost-Pieter.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer systems- Verification.
Computer multitasking
Computer Science.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Parallel processing (Electronic computers)
Computer software- Verification.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.