Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2009
Chrząszcz, J. and Huisman, M. and Schubert, A.
(2009)
BML and Related Tools.
In: Formal Methods for Components and Objects, 21-23 Oktober 2008, Sophia Antipolis, France.
pp. 278-297.
Lecture Notes in Computer Science 5751.
Springer Verlag.
ISBN 978-3-642-04166-2
This list was generated on Thu May 24 07:12:25 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||