| |
| 1998 | ||
|---|---|---|
| 7 | Henri Korver, M. P. A. Sellink: A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. Formal Asp. Comput. 10(1): 30-42 (1998) | |
| 6 | Henri Korver, M. P. A. Sellink: Example Verifications Using Alphabet Axioms. Formal Asp. Comput. 10(1): 43-58 (1998) | |
| 1997 | ||
| 5 | Henri Korver: Detecting Feature Interactions with CÆSAR/ALDÉBARAN. Sci. Comput. Program. 29(1-2): 259-278 (1997) | |
| 4 | EE | Lars-Åke Fredlund, Jan Friso Groote, Henri Korver: Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci. 177(2): 459-486 (1997) |
| 1994 | ||
| 3 | Henri Korver, Jan Springintveld: A Computer-Checked Verification of Milner's Scheduler. TACS 1994: 161-178 | |
| 2 | Henri Korver: A Theory for Simulators. Comput. J. 37(4): 279-288 (1994) | |
| 1991 | ||
| 1 | Henri Korver: Computing Distinguishing Formulas for Branching Bisimulation. CAV 1991: 13-23 | |
| 1 | Lars-Åke Fredlund (Lars-åke Fredlund) | [4] |
| 2 | Jan Friso Groote | [4] |
| 3 | Alex Sellink (M. P. A. Sellink) | [6] [7] |
| 4 | Jan Springintveld | [3] |