Discrete Event Dynamic Systems, Volume 23

Volume 23, Number 1, March 2013

Volume 23, Number 2, June 2013

Volume 23, Number 3, September 2013

Volume 23, Number 4, December 2013

Modeling of Reactive Systems
maintained by Schloss Dagstuhl LZI, founded at University of Trier