4341 search results - page 69 / 869 » Quantitative Model checking |
CAV
2004
Springer
15 years 7 months ago
2004
Springer
CAV
2001
Springer
15 years 6 months ago
2001
Springer
CAV
1999
Springer
15 years 6 months ago
1999
Springer
83
Voted
ENTCS
2002
15 years 2 months ago
2002
115
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...