Sciweavers

22588 search results - page 325 / 4518
» On simulation model complexity
Sort
View
KR
1998
Springer
15 years 11 months ago
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
RANDOM
1997
Springer
15 years 11 months ago
Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model
Colin Cooper, Alan M. Frieze, Kurt Mehlhorn, Volke...