|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Second IEEE Workshop on Industrial Strength Formal Specification Techniques
T-VECTM Product Summary
Boca Raton, Florida
October 20-October 23
ISBN: 0-7695-0081-1
| ASCII Text | x | ||
| 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 - | |||
Citation:
M. Blackburn, "T-VECTM Product Summary," wift, pp.86, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
Usage of this product signifies your acceptance of the Terms of Use.