Sciweavers

ENTCS
2006
339views more  ENTCS 2006»
14 years 15 days ago
A Short Visit to the STS Hierarchy
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
Nathalie Bertrand, Ph. Schnoebelen