Jump to : Contact | BibTex reference | EndNote reference |

todaes05

Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. XFM :An Incremental Methodology for Developing Formal Models. ACM Transactions on Design Automation of Electronic Systems (TODAES) Special Issue on Validation of Large Systems, October 2005.

Contact

David Berner

BibTex Reference

@article{todaes05,
   Author = {Suhaib, Syed and Mathaikutty, Deepak and Berner, David and Shukla, Sandeep},
   Title = {XFM :An Incremental Methodology for Developing Formal Models},
   Journal = {ACM Transactions on Design Automation of Electronic Systems (TODAES) Special Issue on Validation of Large Systems},
   Month = {October},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.