Modal Action Logics for Reasoning about Reactive Systems

Files

broersen_03_modal.pdf (1.47 MB)

Publication date

2003-02-25

Authors

Broersen, J.M.

Document Type

Dissertation

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/19915