2713 search results - page 70 / 543 » Parameterized Tree Systems |
SADM
2008
13 years 10 months ago
2008
PPL
2010
13 years 9 months ago
2010
CAV
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Self-stabilization is an versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of ...
NAR
2007
13 years 10 months ago
2007
The GeneTrees phylogenomics system pursues comparative genomic analyses from the perspective of gene phylogenies for individual genes. The GeneTrees project has the goal of provid...