Edinburgh Research Archive

Using automata to characterise fixed point temporal logics

Files

Kaivola1996.Pdf (10.35 MB)

Item Status

Embargo End Date

Date

1996

Authors

Abstract

URI

http://hdl.handle.net/1842/15130

This item appears in the following Collection(s)

Informatics thesis and dissertation collection