- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 4 |      | Pim Kars: Formal Methods in the Design of s Storm Surge Barrier Control System. European Educational Forum: School on Embedded Systems 1996: 353-367 |
| 1994 | ||
| 3 | | Pim Kars: Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. FORTE 1994: 165-180 |
| 1992 | ||
| 2 | | Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. Protocol Test Systems 1992: 55-66 |
| 1991 | ||
| 1 | | Jan Tretmans, Pim Kars, Ed Brinksma: Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142 |
| 1 | Ed Brinksma | [1] [2] |
| 2 | Jan Tretmans | [1] [2] |
| 3 | Louis Verhaard | [2] |