Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2009
Nguyen, Viet Yen and Ruys, T.C.
(2009)
Memoised Garbage Collection for Software Model Checking.
In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK.
pp. 201-214.
Lecture Notes in Computer Science 5505.
Springer Verlag.
ISBN 978-3-642-00767-5
Aan de Brugh, N.H.M. and Nguyen, Viet Yen and Ruys, T.C.
(2009)
MoonWalker: Veri?cation of .NET Programs.
In: Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), 22-29 March 2009, York, UK.
pp. 170-173.
Lecture Notes in Computer Science 5505.
Springer Verlag.
ISBN 978-3-642-00767-5
Kuijper, W. and van de Pol, J.C.
(2009)
Computing Weakest Strategies for Safety Games of Imperfect Information.
In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK.
pp. 92-106.
Lecture Notes in Computer Science 5505.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-00767-5
2000
Mader, A.H.
(2000)
What is the method in applying formal methods to PLC applications?
In: 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Dortmund, Germany.
pp. 165-171.
Shaker Verlag.
ISBN 3-8265-7836-8
This list was generated on Thu May 24 06:58:14 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||