dblp.uni-trier.dewww.uni-trier.de

Ulla Binau

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995
1 Flemming Andersen, Ulla Binau, Karsten Nyblad, Kim Dam Petersen, Jimmi S. Pettersson: The HOL-UNITY Verification System. TAPSOFT 1995: 795-796

Coauthor Index

1Flemming Andersen [1]
2Karsten Nyblad [1]
3Kim Dam Petersen [1]
4Jimmi S. Pettersson [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)