International Workshop on Foundational and Practical Aspects of Resource Analysis FOPARA '09 3rd of November Eindhoven, The Netherlands of the 16th International Symposium on Formal Methods
Loading...
Date
Authors
Eekelen, M.C.J.D. Marko
Shkaravska, O. Olha
Journal Title
Journal ISSN
Volume Title
Publisher
Nijmegen : Radboud University Nijmegen