Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking

Extending

von Nir Piterman

Taschenbuch

EAN=ISBN-13: 978-3-8383-2206-3

ISBN-10: 3-8383-2206-1

LAP Lambert Academic Publishing · 2010