- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j1 |      | Alexander Hall, Olaf Bachmann, Robert Büssow, Silviu Ganceanu, Marc Nunkesser: Processing a Trillion Cells per Mouse Click. PVLDB 5(11): 1436-1446 (2012) |
| i1 | | Alexander Hall, Olaf Bachmann, Robert Büssow, Silviu Ganceanu, Marc Nunkesser: Processing a Trillion Cells per Mouse Click. CoRR abs/1208.0225 (2012) |
| 2003 | ||
| b1 | | Robert Büssow: Model checking combined Z and statechart specifications. Berlin Institute of Technology 2003 |
| 1999 | ||
| c6 |  | Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke: Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology 1999: 23-30 |
| c5 | | Robert Büssow, Wolfgang Grieskamp: A Modular Framework for the Integration of Heterogeneous Notations and Tools. IFM 1999: 211-230 |
| 1998 | ||
| c4 | | Robert Büssow, Robert Geisler, Marcus Klar: Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. FASE 1998: 71-87 |
| c3 | | Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann: An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. FM-Trends 1998: 184-195 |
| 1997 | ||
| c2 | | Robert Büssow, Wolfgang Grieskamp: Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. ASIAN 1997: 46-56 |
| 1995 | ||
| c1 | | Robert Büssow, Matthias Weber: A Steam-Boiler Control Specification with Statecharts and Z. Formal Methods for Industrial Applications 1995: 109-128 |
Colors in the list of coauthors
Last update Fri May 24 07:02:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page