| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 4 |      | Jorge Cuéllar, Dieter Barnard, Martin Huber: Rapid Prototyping for an Assertional Specification language. TACAS 1996: 402-406 |
| 1995 | ||
| 3 |  | Dieter Barnard, Simon Crosby: The specification and verification of an experimental ATM signalling protocol. PSTV 1995: 155-170 |
| 1994 | ||
| 2 | | Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard: Combining the Design of Industrial Systems with Effective Verification Techniques. FME 1994: 639-658 |
| 1 | | Jorge Cuéllar, Dieter Barnard, Martin Huber: A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification 1994: 213-251 |
| 1 | Simon Crosby | [3] |
| 2 | Jorge Cuéllar (Jorge Ricardo Cuellar) | [1] [2] [4] |
| 3 | Martin Huber | [1] [4] |
| 4 | Isolde Wildgruber | [2] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page