2024-03-28T22:57:33Zhttps://www.tdx.cat/oai/requestoai:www.tdx.cat:10803/59722017-09-19T07:40:51Zcom_10803_183col_10803_196
http://www.tdx.cat/TDX-0113104-105224/ore.xml
2004-01-13
2011-04-12T15:02:24Z
TDX (Tesis Doctorals en Xarxa)
Relative timing based verification of concurrent systems
Peña Basurto, Marco A. (Marco Antonio)
2011-04-12T15:02:24Z
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
ORIGINAL
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
TEXT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT
MEDIA_DOCUMENT