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

Harro Wimmel (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


7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Philippe Darondeau, Harro Wimmel: Making Petri Nets Safe and Free of Internal Transitions. Fundam. Inform. 80(1-3): 75-90 (2007)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Harro Wimmel: Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. ICATPN 2000: 63-82

Selection of 3 from 7 records - Harro Wimmel has 5 coauthors

Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)