Sciweavers

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