Axiomatization of real-time logics

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Information Systems as Reactive Systems
Editors	H. D Ehrich, U Goltz, J Meseguer
Volume	200
Publication status	Published - 1998

Cite this

@inproceedings{5ecb897ffd804399ad3c4eaf0d99cae6,

title = "Axiomatization of real-time logics",

author = "Pierre-Yves Schobbens",

note = "Publication editors : H.-D. Ehrich and U. Goltz and J. Meseguer",

year = "1998",

language = "English",

volume = "200",

editor = "Ehrich, {H. D} and U Goltz and J Meseguer",

booktitle = "Information Systems as Reactive Systems",

}