Sciweavers

17054 search results - page 223 / 3411
» Logics of Dynamical Systems
Sort
View
CJ
2002
79views more  CJ 2002»
15 years 7 months ago
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
Muffy Calder, Savi Maharaj, Carron Shankland
152
Voted
DC
1998
15 years 6 months ago
A Logical Approach to Multilevel Security of Probabilistic Systems
James W. Gray III, Paul F. Syverson
JAIR
2002
110views more  JAIR 2002»
15 years 6 months ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...