31 search results - page 2 / 7 » An Introduction to the Tool Ticc |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
JSI
1998
13 years 5 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
TOOLS
2000
IEEE
13 years 9 months ago
2000
IEEE
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
TOOLS
1997
IEEE
13 years 9 months ago
1997
IEEE
