Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2004 | Book Chapter | LibreCat-ID: 33825
@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 34447
@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }
LibreCat
| DOI