10539 search results - page 102 / 2108 » On L |
78
Voted
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
97
Voted
ATAL
1999
Springer
15 years 7 months ago
1999
Springer
120
click to vote
CSL
1999
Springer
15 years 7 months ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...
