K. Periyasamy, V.S. Alagar,
"Extending Object-Z for Specifying Real-Time Systems,"
Technology of Object-Oriented Languages, International Conference on, pp. 163, Tools-23: Technology of Object-Oriented Languages and Systems, 1997.
BibTex
x
@article{
10.1109/TOOLS.1997.654716, author = {K. Periyasamy and V.S. Alagar}, title = {Extending Object-Z for Specifying Real-Time Systems}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1997}, isbn = {0-8186-8383-X}, pages = {163}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.654716}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - Extending Object-Z for Specifying Real-Time Systems SN - 0-8186-8383-X SP EP A1 - K. Periyasamy, A1 - V.S. Alagar, PY - 1997 VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -
K. Periyasamy, V.S. Alagar, "Extending Object-Z for Specifying Real-Time Systems," tools, pp.163, Tools-23: Technology of Object-Oriented Languages and Systems, 1997
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb