Henri Korver

	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		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

Coauthor Index

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]