P. Herrmann, G. Graw, H. Krumm, "Compositional Specification and Structured Verification of Hybrid Systems in cTLA," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 335, The First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998.

@article{ 10.1109/ISORC.1998.666805,
author = {P. Herrmann and G. Graw and H. Krumm},
title = {Compositional Specification and Structured Verification of Hybrid Systems in cTLA},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {1998},
isbn = {0-8186-8430-5},
pages = {335},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.1998.666805},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Compositional Specification and Structured Verification of Hybrid Systems in cTLA
SN - 0-8186-8430-5
SP
EP
A1 - P. Herrmann,
A1 - G. Graw,
A1 - H. Krumm,
PY - 1998
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -