Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2008
Faella, M. and Legay, A. and Stoelinga, M.I.A.
(2008)
Model checking Quantitative Linear Time Logic.
In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), March 29-30, 2008, Budapest, Hungary.
pp. 61-77.
Electronic Notes in Theoretical Computer Science 220 (3).
Elsevier.
ISSN 1571-0661
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||