dblp.uni-trier.de

B-Core

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
1995
1  B-Core: The B-Toolkit Demonstration. TAPSOFT 1995: 805-806

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Apr 21 00:22:26 2005