A real time process logic

Authors
Publication date 1994
Host editors
  • H.J. Ohlbach
  • D.M. Gabbay
Book title Proceedings ICTL 94
Series LNAI, 827
Pages (from-to) 30-47
Publisher Berlin: Springer Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back