Henri Korver

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2010
c3		Henri Korver, Maarten van den Broek: Application integration at the Dutch government. ICEGOV 2010: 371-372
	1998
j5		Henri Korver, M. P. A. Sellink: A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. Formal Asp. Comput. 10(1): 30-42 (1998)
j4		Henri Korver, M. P. A. Sellink: Example Verifications Using Alphabet Axioms. Formal Asp. Comput. 10(1): 43-58 (1998)
	1997
j3		Henri Korver: Detecting Feature Interactions with CÆSAR/ALDÉBARAN. Sci. Comput. Program. 29(1-2): 259-278 (1997)
j2		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
j1		Henri Korver: A Theory for Simulators. Comput. J. 37(4): 279-288 (1994)
c2		Henri Korver, Jan Springintveld: A Computer-Checked Verification of Milner's Scheduler. TACS 1994: 161-178
	1991
c1		Henri Korver: Computing Distinguishing Formulas for Branching Bisimulation. CAV 1991: 13-23

Coauthor Index

1	Maarten van den Broek	[c3]
2	Lars-Åke Fredlund (Lars-åke Fredlund)	[j2]
3	Jan Friso Groote	[j2]
4	Alex Sellink (M. P. A. Sellink)	[j5] [j4]
5	Jan Springintveld	[c2]

Last update Sat May 25 12:17:24 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page