Skip to content

The Prefix Machine - a Formal Foundation for the BORM OR Diagrams Validation and Simulation.

Martin Podlouck, Robert Pergl

VenueACaiSE
Year2014
ProceedingsEOMAS@CAiSE

Browse the full CaiSE paper archive.