A real time process logic

J.C.M. Baeten, J.A. Bergstra, R.N. Bol

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

44 Downloads (Pure)
Original languageEnglish
Title of host publicationTemporal Logic (Proceedings First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994)
EditorsD.M. Gabbay, H.J. Ohlbach
Place of PublicationBerlin
PublisherSpringer
Pages30-47
ISBN (Print)3-540-58241-X
DOIs
Publication statusPublished - 1994

Publication series

NameLecture Notes in Computer Science
Volume827
ISSN (Print)0302-9743

Cite this