M. Feather, J. Dunphy, N. Rouquette,
""Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation,"
Industrial-Strength Formal Specification Techniques, Workshop on, pp. 140, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.
BibTex
x
@article{
10.1109/WIFT.1998.766309, author = {M. Feather and J. Dunphy and N. Rouquette}, title = {"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation}, journal ={Industrial-Strength Formal Specification Techniques, Workshop on}, volume = {0}, year = {1998}, isbn = {0-7695-0081-1}, pages = {140}, doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766309}, 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 - "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation SN - 0-7695-0081-1 SP EP A1 - M. Feather, A1 - J. Dunphy, A1 - N. Rouquette, PY - 1998 VL - 0 JA - Industrial-Strength Formal Specification Techniques, Workshop on ER -
M. Feather, J. Dunphy, N. Rouquette, ""Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation," wift, pp.140, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb