Linear Temporal Logic: Expressiveness and Model Checking

• Authors: STREJČEK Jan
• Year of publication: 2005
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics

Related projects

• Highly Parallel and Distributed Computing Systems