Start
Journals
FIZ Karlsruhe
published by FIZ Karlsruhe GmbH
Start
Contact
Print
General Help
Advanced Search
Anywhere:
Author:
Title:
Source:
Year:
History
1
an:05742643
1
Query form:
Please fill in your query. A complete syntax description you will find on the
General Help
page.
io-port 05742643
Cambronero, María-Emilia
;
Ruiz, Valentín Valero
;
Díaz, Gregorio
Verification of real-time systems design.
(English)
Softw. Test., Verif. Reliab. 20, No. 1, 3-37 (2010).
PDF
XML
AMS-TeX
TEXT
BIBTeX
DOI
© 2013 FIZ Karlsruhe GmbH
Contact
|
Copyright
|
Terms & Conditions
|
Site Map
|
Webmaster