R.: Verification of the Temporal Properties of Dynamic Clean Processes (0)

by Z Horváth, P Achten, T Kozsik, Plasmeijer
Venue:Proceedings of Implementation of Functional Languages, IFL’99