|
Volumn 4260 LNCS, Issue , 2006, Pages 342-359
|
A reasoning method for timed CSP based on constraint solving
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CONSTRAINT THEORY;
FORMAL LANGUAGES;
LOGIC PROGRAMMING;
MATHEMATICAL MODELS;
PROBLEM SOLVING;
REAL TIME SYSTEMS;
SEMANTICS;
SYNCHRONIZATION;
CONSTRAINT LOGIC PROGRAMMING;
CONSTRAINT SOLVING;
REACTIVE SYSTEMS;
FORMAL LOGIC;
|
EID: 33845248913
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/11901433_19 Document Type: Article |
Times cited : (24)
|
References (20)
|