Pim Kars

According to our database, Pim Kars authored at least 6 papers between 1991 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Gossiping Girls Are All Alike.

Theo C. Ruys, Pim Kars

Proceedings of the Model Checking Software - 19th International Workshop, 2012

1996

Formal Methods in the Design of s Storm Surge Barrier Control System.

Pim Kars

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

The application of Promela and Spin in the BOS project.

Pim Kars

Proceedings of the Spin Verification System, 1996

1994

Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach.

Pim Kars

Proceedings of the Formal Description Techniques VII, 1994

1992

On Asynchronous Testing.

Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma

Proceedings of the Protocol Test Systems, V, 1992

1991

Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.

Jan Tretmans, Pim Kars, Ed Brinksma

Proceedings of the Protocol Test Systems, IV, 1991