|
Search the dblp DataBase
Martin Büchi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ralph-Johan Back, Martin Büchi, Emil Sekerinski
Action-Based Concurrency and Synchronization for Objects. [Citation Graph (0, 0)][DBLP] ARTS, 1997, pp:248-262 [Conf]
- Martin Büchi, Wolfgang Weck
Generic Wrappers. [Citation Graph (0, 0)][DBLP] ECOOP, 2000, pp:201-225 [Conf]
- Martin Büchi, Emil Sekerinski
Formal Methods for Component Software: The Refinement Calculus Perspective. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1997, pp:332-337 [Conf]
- Martin Büchi, Ralph-Johan Back
Compositional Symmetric Sharing in B. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:431-451 [Conf]
- Martin Büchi
The B Bank: A Complete Case Study. [Citation Graph (0, 0)][DBLP] ICFEM, 1998, pp:190-199 [Conf]
- Martin Büchi, Wolfgang Weck
Compound Types for Java. [Citation Graph (0, 0)][DBLP] OOPSLA, 1998, pp:362-373 [Conf]
- Martin Büchi, Emil Sekerinski
A Foundation for Refining Concurrent Objects. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2000, v:44, n:1-2, pp:25-61 [Journal]
Search in 0.001secs, Finished in 0.001secs
|