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

Martin Büchi Vis

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

*2000
7EEMartin Büchi, Wolfgang Weck: Generic Wrappers. ECOOP 2000: 201-225
6 Martin Büchi, Emil Sekerinski: A Foundation for Refining Concurrent Objects. Fundam. Inform. 44(1-2): 25-61 (2000)
1999
5EEMartin Büchi, Ralph-Johan Back: Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451
1998
4EEMartin Büchi: The B Bank: A Complete Case Study. ICFEM 1998: 190-199
3EEMartin Büchi, Wolfgang Weck: Compound Types for Java. OOPSLA 1998: 362-373
1997
2 Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262
1EEMartin Büchi, Emil Sekerinski: Formal Methods for Component Software: The Refinement Calculus Perspective. ECOOP Workshops 1997: 332-337

Coauthor Index

1Ralph-Johan Back [2] [5]
2Emil Sekerinski [1] [2] [6]
3Wolfgang Weck [3] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)