Saarland University / rabe}@cs.uni-saarland.de IMDEA Software Institute / /
IndustryTerm
asynchronous systems / model checking algorithm / communication protocol / infinite transition systems / knowledge operator / finite interpreted systems / synchronous product / transition systems / non-synchronous systems / /
Organization
Saarland University / de IMDEA Software Institute / Institute for Information Security / /
Person
César Sánchez / Markus N. Rabe / Bernd Finkbeiner / César Sánchez Edit / /
Product
semantics / /
ProgrammingLanguage
C / /
Technology
communication protocol / model checking algorithm / /