4 search results - page 1 / 1 » fossacs 1999 |
FOSSACS
1999
Springer
14 years 3 months ago
1999
Springer
FOSSACS
1999
Springer
14 years 3 months ago
1999
Springer
FOSSACS
1999
Springer
14 years 3 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
14 years 3 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...