Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2006
Distefano, D.S. and Katoen, J.P. and Rensink, A.
(2006)
Safety and Liveness in Concurrent Pointer Programs.
(Invited)
In: Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects, November 1-4, 2005, Amsterdam, The Netherlands.
pp. 280-312.
Lecture Notes in Computer Science 4111.
Springer Verlag.
ISBN 978-3-540-36749-9
1998
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H.
(1998)
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract).
In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York.
pp. 126-147.
IFIP Conference Proceedings 125.
Chapman & Hall.
ISBN 0-412-83760-9
This list was generated on Thu May 24 06:02:29 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||