|
Search the dblp DataBase
Annette Bunker:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley
Alexandria: A Tool for Hierarchical Verification. [Citation Graph (0, 0)][DBLP] FMCAD, 1998, pp:515-522 [Conf]
- Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind
Live sequence charts applied to hardware requirements specification and verification. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:4, pp:341-350 [Journal]
- Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee
Formal hardware specification languages for protocol compliance verification. [Citation Graph (0, 0)][DBLP] ACM Trans. Design Autom. Electr. Syst., 2004, v:9, n:1, pp:1-32 [Journal]
Improving Translation of Live Sequence Charts to Temporal Logic. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|