Sciweavers

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