Reasoning aubout durations in metric logic

Y. Lakhneche, J.J.M. Hooman

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

3 Citations (Scopus)
Original languageEnglish
Title of host publicationFormal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994)
EditorsH. Langmaack, W.P. Roever, de, J. Vytopil
Place of PublicationBerlin
PublisherSpringer
Pages488-510
ISBN (Print)3-540-58468-4
DOIs
Publication statusPublished - 1994

Publication series

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

Cite this