Permalink

Organisator

• Eike Best (Universität Oldenburg, DE)

Kontakt

• Dagstuhl Service Team

Impacts

• Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets : book chapter - Best, Eike; Devillers, Raymond - Berlin : Springer, 2014 - ((Lecture notes in computer science ; 8370 : pp. 161-172).
• State space axioms for T-systems : article : pp. 133-152 - Best, Eike; Devillers, Raymond - Berlin : Springer, 2014 - (Acta informatica : 52. 2014, 2 : pp. 132-152).
• Synthesis and reengineering of persistent systems : article : pp. 35-60 - Best, Eike; Devillers, Raymond - Berlin : Springer, 2014 - (Acta informatica : 52. 2015, 1 : pp. 35-60).
• Synthesis of Live and Bounded Persistent Systems : article : pp. 39-59 - Best, Eike; Devillers, Raymond - Amsterdam : IOS Press, 2015. - pp. 39-59 - (Fundamenta informaticae ; 140. 2015, 1).
• Synthesis of Persistent Systems : book chapter - Best, Eike; Devillers, Raymond - Berlin : Springer, 2014. - pp. 111-129 - (Lecture notes in computer science ; 8489 : pp. 111-129).