What to Do Next? Analysing and Optimising System Behaviour in Time

A.J. Wijs

Research output: PhD ThesisPhD-Thesis – Research external, graduation internal

402 Downloads (Pure)
Original languageEnglish
Awarding Institution
  • Vrije Universiteit Amsterdam
  • Fokkink, Wan, Supervisor
  • van de Pol, J.C., Supervisor, -
Award date2 Oct 2007
Place of PublicationVrije Universiteit
Print ISBNs9789064641749
Publication statusPublished - 2007


  • Model Checking
  • scheduling
  • state space searching
  • timed branching bisimilarity
  • timed process algebra

Cite this