|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997
July 2000 (vol. 26 no. 7)
pp. 577-578
| ASCII Text | x | ||
| Howard Bowman, John Derrick, Ed Brinksma, "Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997," IEEE Transactions on Software Engineering, vol. 26, no. 7, pp. 577-578, July, 2000. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.2000.859528, author = {Howard Bowman and John Derrick and Ed Brinksma}, title = {Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997}, journal ={IEEE Transactions on Software Engineering}, volume = {26}, number = {7}, issn = {0098-5589}, year = {2000}, pages = {577-578}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2000.859528}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997 IS - 7 SN - 0098-5589 SP577 EP578 EPD - 577-578 A1 - Howard Bowman, A1 - John Derrick, A1 - Ed Brinksma, PY - 2000 VL - 26 JA - IEEE Transactions on Software Engineering ER - | |||
Citation:
Howard Bowman, John Derrick, Ed Brinksma, "Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997," IEEE Transactions on Software Engineering, vol. 26, no. 7, pp. 577-578, July 2000, doi:10.1109/TSE.2000.859528
Usage of this product signifies your acceptance of the Terms of Use.