M. Blackburn,
"T-VECTM Product Summary,"
Industrial-Strength Formal Specification Techniques, Workshop on, pp. 86, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.
BibTex
x
@article{
10.1109/WIFT.1998.10002, author = {M. Blackburn}, title = {T-VECTM Product Summary}, journal ={Industrial-Strength Formal Specification Techniques, Workshop on}, volume = {0}, year = {1998}, isbn = {0-7695-0081-1}, pages = {86}, doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.10002}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Industrial-Strength Formal Specification Techniques, Workshop on TI - T-VECTM Product Summary SN - 0-7695-0081-1 SP EP A1 - M. Blackburn, PY - 1998 VL - 0 JA - Industrial-Strength Formal Specification Techniques, Workshop on ER -
PURCHASE ARTICLE: $19
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb