dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Christoph Schneider (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Schneider, Joachim Wehler: Model Checking of Boolean Process Models CoRR abs/1105.0653: (2011)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Schneider, Joachim Wehler: Potential reachability in commutative nets. AWPN 1999
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Schneider, Joachim Wehler: Petri Net Theory - Problems Solved by Commutative Algebra. ICATPN 1999: 248-267
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Langner, Christoph Schneider, Joachim Wehler: Petri Net Based Certification of Event-Driven Process Chains. ICATPN 1998: 286-305
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Langner, Christoph Schneider, Joachim Wehler: Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen. Wirtschaftsinformatik 39(5): 479-489 (1997)

Selection of 5 from 25 records - Christoph Schneider has 21 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page