Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business...”