VRIJE UNIVERSITEIT Modal Action Logics for Reasoning about Reactive Systems

  • Johannes Maria Broersen geboren te Den Helder
  • Published 2003