Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2009
Hurlin, C.
(2009)
Automatic Parallelization and Optimization of Programs by Proof Rewriting.
In: The 16th International Static Analysis Symposium, 9-11 Aug 2009, Los Angeles, USA.
pp. 52-68.
Lecture Notes in Computer Science 5673.
Springer Verlag.
ISBN 978-3-642-03236-3
2008
Bohnenkamp, H.C. and Stoelinga, M.I.A.
(2008)
Quantitative Testing.
In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta.
pp. 227-236.
ACM.
ISBN 978-1-60558-468-3
Nguyen, Viet Yen and Ruys, T.C.
(2008)
Incremental Hashing for SPIN.
In: Model Checking Software, Proceedings of the 15th International SPIN Workshop, 10-12 Aug 2008, Los Angeles, CA, USA.
pp. 232-249.
Lecture Notes in Computer Science 5156.
Springer Verlag.
ISBN 978-3-540-85113-4
2006
Hermanns, H. and Palsberg, J., ed.
(2006)
Tools and Algorithms for the Construction and Analysis of Systems.
Lecture Notes in Computer Science 3920.
Springer Verlag.
ISSN 0302-9743
ISBN 3-540-33056-9
This list was generated on Thu May 24 07:39:26 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||