Modal Action Logics for Reasoning about Reactive Systems

J. Broersen

Research output: ThesisPhD Thesis - Research external, graduation external

Original languageUndefined
Awarding Institution
  • Vrije Universiteit
Supervisors/Advisors
  • Wieringa, Roelf Johannes, Supervisor
  • Meyer, J.J.C., Supervisor, External person
  • van de Riet, R.P., Supervisor, External person
Award date25 Feb 2003
Place of PublicationAmsterdam
Publisher
Print ISBNs90-9016611-4
Publication statusPublished - 25 Feb 2003

Keywords

  • METIS-216297

Cite this