Treffer: Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

Title:
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL
Authors:
Valencia, Frank
Publisher Information:
Institutionen för högspänningsforskning Datorteknik datorteknik 2003
Document Type:
E-Ressource Electronic Resource
Index Terms:
Conference paper, info:eu-repo/semantics/conferenceObject, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20479
Availability:
Open access content. Open access content
info:eu-repo/semantics/restrictedAccess
Note:
English
Other Numbers:
UPE oai:DiVA.org:uu-20479
1235004295
Contributing Source:
UPPSALA UNIV LIBR
From OAIster®, provided by the OCLC Cooperative.
Accession Number:
edsoai.on1235004295
Database:
OAIster