Verifying temporal properties of systems with applications to petri nets

Julian C. Bradfield. Verifying temporal properties of systems with applications to petri nets. PhD thesis, University of Edinburgh, UK, 1991. [doi]

Abstract

Abstract is missing.