MPG.eBooks - Search Results - "Temporality"

Cover Image

1

An introduction to practical formal methods using temporal logic

by Fisher, Michael
Published 2011

Wiley

Subjects: “...Temporal automata / fast...”