Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2009
van de Pol, J.C. and Timmer, M.
(2009)
State Space Reduction of Linear Processes Using Control Flow Reconstruction.
In: ATVA 2009 - Automated Technology for Verification and Analysis. 7th International Symposium, 13 Oct - 16 Oct 2009, Macao SAR, China.
pp. 54-68.
Lecture Notes in Computer Science 5799.
Springer Verlag.
ISBN 978-3-642-04760-2
This list was generated on Thu May 24 07:53:01 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||