Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs

A.C. van Hulst

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

237 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Mechanical Engineering
Begeleider(s)/adviseur
  • Baeten, Jos, Promotor
  • Fokkink, Wan J., Promotor
  • Reniers, Michel A., Co-Promotor
Datum van toekenning6 sep. 2016
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's978-90-386-4141-6
StatusGepubliceerd - 6 sep. 2016

Bibliografische nota

Proefschrift

Citeer dit