Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2005
Bohnenkamp, H.C. and Belinfante, A.F.E.
(2005)
Timed Testing with TorX.
In: Formal Methods Europe (FME), 18-22 July 2005, Newcastle, UK.
pp. 173-188.
Lecture Notes in Computer Science 3582.
Springer-Verlag.
ISSN 0302-9743
ISBN 3-540-27882-6
This list was generated on Thu May 24 06:32:54 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||