Sciweavers

37 search results - page 2 / 8
» sofsem 2009
Sort
View
SOFSEM
2009
Springer
15 years 10 months ago
Safe Reasoning with Logic LTS
Gerald Lüttgen, Walter Vogler
SOFSEM
2009
Springer
15 years 10 months ago
Conjunctive Grammars with Restricted Disjunction
Alexander Okhotin, Christian Reitwießner
SOFSEM
2009
Springer
15 years 10 months ago
Implementing Services by Partial State Machines
Walter Dosch, Annette Stümpel