Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/9458

Verificació de sistemes concurrents basada en Constraint-Programming
Royuela Alcazar, Josep Maria
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Carmona Vargas, Josep
Àrees temàtiques de la UPC::Informàtica::Programació
Computer software -- Verification
Sistemes concurrents
Xarxes de Petri
Programari -- Verificació
info:eu-repo/semantics/bachelorThesis
Universitat Politècnica de Catalunya
         

Mostrar el registro completo del ítem