Reasoning aubout durations in metric logic

Y. Lakhneche; J.J.M. Hooman

doi:10.1007/3-540-58468-4_180

Reasoning aubout durations in metric logic

Y. Lakhneche, J.J.M. Hooman

Algorithms, Geometry and Applications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994)
Editors	H. Langmaack, W.P. Roever, de, J. Vytopil
Place of Publication	Berlin
Publisher	Springer
Pages	488-510
ISBN (Print)	3-540-58468-4
DOIs	https://doi.org/10.1007/3-540-58468-4_180
Publication status	Published - 1994

Publication series

Name	Lecture Notes in Computer Science
Volume	863
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-58468-4_180

Cite this

Lakhneche, Y., & Hooman, J. J. M. (1994). Reasoning aubout durations in metric logic. In H. Langmaack, W. P. Roever, de, & J. Vytopil (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994) (pp. 488-510). (Lecture Notes in Computer Science; Vol. 863). Springer. https://doi.org/10.1007/3-540-58468-4_180

@inproceedings{1cee1b911a694df392030316ca1fce00,

title = "Reasoning aubout durations in metric logic",

author = "Y. Lakhneche and J.J.M. Hooman",

year = "1994",

doi = "10.1007/3-540-58468-4_180",

language = "English",

isbn = "3-540-58468-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "488--510",

editor = "H. Langmaack and {Roever, de}, W.P. and J. Vytopil",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, L{\"u}beck, Germany, September 19-23, 1994)",

address = "Germany",

}

Lakhneche, Y & Hooman, JJM 1994, Reasoning aubout durations in metric logic. in H Langmaack, WP Roever, de & J Vytopil (eds), Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994). Lecture Notes in Computer Science, vol. 863, Springer, Berlin, pp. 488-510. https://doi.org/10.1007/3-540-58468-4_180

Reasoning aubout durations in metric logic. / Lakhneche, Y.; Hooman, J.J.M.

Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994). ed. / H. Langmaack; W.P. Roever, de; J. Vytopil. Berlin : Springer, 1994. p. 488-510 (Lecture Notes in Computer Science; Vol. 863).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Reasoning aubout durations in metric logic

AU - Lakhneche, Y.

AU - Hooman, J.J.M.

PY - 1994

Y1 - 1994

U2 - 10.1007/3-540-58468-4_180

DO - 10.1007/3-540-58468-4_180

M3 - Conference contribution

SN - 3-540-58468-4

T3 - Lecture Notes in Computer Science

SP - 488

EP - 510

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994)

A2 - Langmaack, H.

A2 - Roever, de, W.P.

A2 - Vytopil, J.

PB - Springer

CY - Berlin

ER -

Lakhneche Y, Hooman JJM. Reasoning aubout durations in metric logic. In Langmaack H, Roever, de WP, Vytopil J, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, Lübeck, Germany, September 19-23, 1994). Berlin: Springer. 1994. p. 488-510. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-58468-4_180