Model Construction and Priority Synthesis for Simple Interaction Systems

DOI10.1007/978-3-642-20398-5_34zbMath1297.68056OpenAlexW1543342984MaRDI QIDQ3021171

Harald Ruess, Chih-Hong Cheng, Alois C. Knoll, Barbara Jobstmann, Saddek Bensalem, Rongjie Yan

Publication date: 22 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20398-5_34

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

On the Hardness of Priority Synthesis

Uses Software

• D-Finder
• Sat4j

Cites Work

• Automata, logics, and infinite games. A guide to current research

This page was built for publication: Model Construction and Priority Synthesis for Simple Interaction Systems