Sciweavers

13306 search results - page 65 / 2662
» Theoretical Computer Science
Sort
View
SOFSEM
2009
Springer
15 years 11 months ago
Safe Reasoning with Logic LTS
Gerald Lüttgen, Walter Vogler
SOFSEM
2009
Springer
15 years 11 months ago
Conjunctive Grammars with Restricted Disjunction
Alexander Okhotin, Christian Reitwießner
SOFSEM
2009
Springer
15 years 11 months ago
Implementing Services by Partial State Machines
Walter Dosch, Annette Stümpel