Axiomatization of real-time logics

Pierre-Yves Schobbens

Axiomatization of real-time logics

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

langue originale	Anglais
titre	Information Systems as Reactive Systems
rédacteurs en chef	H. D Ehrich, U Goltz, J Meseguer
Volume	200
Etat de la publication	Publié - 1998

Contient cette citation

@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",

}