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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
P. Herrmann, G. Graw, H. Krumm, "Compositional Specification and Structured Verification of Hybrid Systems in cTLA," isorc, pp.335, The First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb