Annette Bunker (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4 Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind: Live sequence charts applied to hardware requirements specification and verification. STTT 7(4): 341-350 (2005)

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

Selection of 2 from 5 records - Annette Bunker has 8 coauthors

4		Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind: Live sequence charts applied to hardware requirements specification and verification. STTT 7(4): 341-350 (2005)
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