Books

2011

  1. Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi (eds.). Eleventh International Conference on Application of Concurrency to System Design. IEEE Computer Society, Newcastle Upon Tyne, UK, June 2011. details

2005

  1. Gianfranco Ciardo, Philippe Darondeau, (eds.). 26th International Conference on Applications and Theory of Petri Nets, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Lecture Notes in Computer Science, Springer, Miami, USA, June 2005. details

2004

  1. Fourth International Conference on Application of Concurrency to System Design. Mike Kishinevsky, Philippe Darondeau (eds.), IEEE Computer Society, 2004. details

2003

  1. Proceedings of the ATPN-Workshop on Discrete Event Systems Control. Philippe Darondeau, Sadatoshi Kumagai (eds.), BETA-RR, June 2003. details

2002

  1. Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie (eds.). Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, 2002. details download

2001

  1. Benoît Caillaud, X. Xie (eds.). Proceedings of the Symposium on the Supervisory Control of Discrete Event Systems, SCODES'2001. Paris, France, July 2001. details
  2. Philippe Darondeau, Luciano Lavagno (eds.). Proceedings of the Workshop on Synthesis of Concurrent Systems. Newcastle upon Tyne, UK, June 2001. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


This page is part the S4 project web site.
It has been automatically generated using the bib2html program.