FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540499947, 9783540499954
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Branching Pushdown Tree Automata

2006 ◽  
pp. 393-404
Author(s):  
Rajeev Alur ◽  
Swarat Chaudhuri
Keyword(s):  
Tree Automata

Multi-stack Boundary Labeling Problems

2006 ◽  
pp. 81-92 ◽  
Author(s):  
Michael A. Bekos ◽  
Michael Kaufmann ◽  
Katerina Potika ◽  
Antonios Symvonis
Keyword(s):  
Boundary Labeling

scholarly journals On Decidability of LTL Model Checking for Process Rewrite Systems

2006 ◽  
pp. 248-259 ◽  
Author(s):  
Laura Bozzelli ◽  
Mojmír Křetínský ◽  
Vojtěch Řehák ◽  
Jan Strejček
Keyword(s):  
Model Checking ◽  
Rewrite Systems ◽  
Ltl Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document