Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands

From CERES
Revision as of 04:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands
Author Mohammad Reza Mousavi and Emil Sekerinski
Year 2009
PublicationType Conference Proceedings
Journal
HostPublication
DOI
Conference Formal Methods 2009 Doctoral Symposium, Eindhoven, The Netherlands, November 6
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584493
Abstract
Retrieved from "https://wiki.hh.se/ceres/index.php?title=Publications:Proceedings_of_Formal_Methods_2009_Doctoral_Symposium_:_November_6,_2009:_Eindhoven,_The_Netherlands&oldid=4147"