 | 2008 |
|---|
| 7 |       | Rob J. van Glabbeek,
Bas Ploeger:
Correcting a Space-Efficient Simulation Algorithm.
CAV 2008: 517-529 |
| 6 | | Rob J. van Glabbeek,
Bas Ploeger:
Five Determinisation Algorithms.
CIAA 2008: 161-170 |
| 5 | | A. van Dam,
Bas Ploeger,
Tim A. C. Willemse:
Instantiation for Parameterised Boolean Equation Systems.
ICTAC 2008: 440-454 |
| 4 | | Bas Ploeger,
Carst Tankink:
Improving an interactive visualization of transition systems.
SOFTVIS 2008: 115-124 |
| 3 | | Jan Friso Groote,
Bas Ploeger:
Switching Graphs.
Electr. Notes Theor. Comput. Sci. 223: 119-135 (2008) |
| 2007 |
|---|
| 2 | | Taolue Chen,
Bas Ploeger,
Jaco van de Pol,
Tim A. C. Willemse:
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
CONCUR 2007: 120-135 |
| 1 | | Bas Ploeger,
Lou J. Somers:
Analysis and verification of an automatic document feeder.
SAC 2007: 1499-1505 |
