Jan Poliak

	2004
1		Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder: Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. SoftSpez Final Report 2004: 96-118

Coauthor Index

1	Frank Hänsel	[1]
2	Eckehard Schnieder	[1]
3	Roman Slovák	[1]