Fulltext present in this item

Thumbnail
Fulltext: 111087.pdf
Format: PDF
Description: author's version
Title: Verification of the Temporal Properties of Dynamic Clean Processes
Author(s): Horvath, Z.; Achten, P.M. ; Kozsik, T.; Plasmeijer, R.
Publication year: 1999
In: Koopman, P. (ed.), IFL'99 : Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999, pp. 203-218
Publisher: [S.l. : s.n.]
Annotation: 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/111087   http://hdl.handle.net/2066/111087

Display more details
Editor(s): Koopman, P.
Subject: Software Technology
Organization: Software Technology
Book title: Koopman, P. (ed.), IFL'99 : Proceedings of the 11th International workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, September 7-10, 1999
Page start: p. 203
Page end: p. 218

This item appears in the following Collection(s)

Browse

Statistics