Research Meeting 13329
Forschungsaufenthalt
( Aug 09 – Aug 17, 2013 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/13329
Organizer
- Eike Best (Universität Oldenburg, DE)
Contact
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).
