| Author
|
Mohammad Reza Mousavi +
, Emil Sekerinski +
|
| Conference
|
Formal Methods 2009 Doctoral Symposium, Eindhoven, The Netherlands, November 6
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584493
|
| PublicationType
|
Conference Proceedings +
|
| Publisher
|
Technische Universiteit Eindhoven +
|
| Series
|
Computer Science Report ; 09-15 +
|
| Title
|
Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
|
| Year
|
2009 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
, Publications:Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009: Eindhoven, The Netherlands +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:44 +
|
