Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2004
Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R.
(2004)
Embedded software analysis with MOTOR.
In:
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004.
Lecture Notes in Computer Science 3185.
Springer Verlag, Bertinoro, Italy, pp. 268-293.
ISBN 3-540-23068-8
This list was generated on Thu May 24 05:55:23 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||