Sciweavers

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