default search action

combined dblp search
author search
venue search
publication search

ask others

Pim Kars

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/RuysK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/RuysK12
Theo C. Ruys, Pim Kars:
Gossiping Girls Are All Alike. SPIN 2012: 117-136

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/Kars96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Kars96
Pim Kars:
The application of Promela and Spin in the BOS project. The Spin Verification System 1996: 51-63
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/eef/Kars96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Kars96
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
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Kars94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Kars94
Pim Kars:
Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. FORTE 1994: 165-180
1992
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pts/VerhaardTKB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/VerhaardTKB92
Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma:
On Asynchronous Testing. Protocol Test Systems 1992: 55-66
1991
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pts/TretmansKB91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/TretmansKB91
Jan Tretmans, Pim Kars, Ed Brinksma:
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.