4 search results - page 1 / 1 » fossacs 1999 |
FOSSACS
1999
Springer
13 years 10 months ago
1999
Springer
FOSSACS
1999
Springer
13 years 10 months ago
1999
Springer
FOSSACS
1999
Springer
13 years 10 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
FOSSACS
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...