Michael Meyer zu Hörste

	2003
2		Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste: BASYSNET - An Integrated Approach for Automated Control System Development. Petri Net Technology for Communication-Based Systems 2003: 352-362
	1999
1		Michael Meyer zu Hörste, Eckehard Schnieder: Formal Modelling and Simulation of Train Control Systems Using Petri Nets. World Congress on Formal Methods 1999: 1867

Coauthor Index

1	Mourad Chouikha	[2]
2	Stefan Einer	[2]
3	Eckehard Schnieder	[1] [2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page