| |
| 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 | [1] [2] [4] |
| 3 | Martin Huber | [1] [4] |
| 4 | Isolde Wildgruber | [2] |