 | 2009 |
|---|
| 5 |       | Rahul Kumar,
Eric G. Mercer,
Annette Bunker:
Improving Translation of Live Sequence Charts to Temporal Logic.
Electr. Notes Theor. Comput. Sci. 250(1): 137-152 (2009) |
| 2005 |
|---|
| 4 | | Annette Bunker,
Ganesh Gopalakrishnan,
Konrad Slind:
Live sequence charts applied to hardware requirements specification and verification.
STTT 7(4): 341-350 (2005) |
| 2004 |
|---|
| 3 |  | Konrad Slind,
Annette Bunker,
Ganesh Gopalakrishnan:
Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Springer 2004 |
| 2 | | Annette Bunker,
Ganesh Gopalakrishnan,
Sally A. McKee:
Formal hardware specification languages for protocol compliance verification.
ACM Trans. Design Autom. Electr. Syst. 9(1): 1-32 (2004) |
| 1998 |
|---|
| 1 | | Annette Bunker,
Trent N. Larson,
Michael D. Jones,
Phillip J. Windley:
Alexandria: A Tool for Hierarchical Verification.
FMCAD 1998: 515-522 |
Data released under the ODC-BY 1.0 license — See also our legal information page