Korver H.P. current state of bisimulation tools / H. P. Korver, 1991. - 28 p. - Текст : непосредственный.
Korver H.P. Computing distinguishing formulas for branching bisimulation / H. P. Korver, 1991. - 17 p. - Текст : непосредственный.
Korver H.P. A theory for simulator tools / H.P.Korver, 1993. - 21 p. - Текст : непосредственный.
Groote J.F. A correctness proof of the bakery protocol in mCRL / J.F.Groote,H.P.Korver, 1994. - 22 p. - Текст : непосредственный.
Korver H.P. Building a simulator in the uCRL toolbox;a case study in modern software engineering / H.P.Korver, 1996. - 48 p. - Текст : непосредственный.
Griffioen W.O.D. The bakery protocol:A comparative case-study in formal verification / W.O.D.Griffioen,H.P.Korver, 1995. - 24 p. - Текст : непосредственный.
Korver H.P. Detecting feature interactions with CAsar/Aldebaran / H.P.Korver, 1993. - 19 p. - Текст : непосредственный.
Korver H.P. computer-checked verification of Milner's scheduler / H.P.Korver,J.Springintveld, 1993. - 28 p. - Текст : непосредственный.