Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2007
Han, Tingting and Katoen, J.P.
(2007)
Providing evidence of likely being on time - Counterexample generation for CTMC model checking.
In: Providing evidence of likely being on time: Counterexample generation for CTMC model checking, 22-25 Oct 2007, Tokyo, Japan.
pp. 331-346.
Lecture Notes in Computer Science 4762.
Springer.
ISBN 978-3-540-75595-1
This list was generated on Thu May 24 08:48:48 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||