Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services

@article{kraemer2006,
  title = {Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services},
  author = {Frank Alexander Kraemer and Peter Herrmann and Rolv Bræk},
  journal = {OTM Conferences (2)},
  year = {2006},
  month = {Jan},
  doi = {10.1007/11914952_41},
  url = {https://doi.org/10.1007/11914952_41},
}

Frank Alexander Kraemer et al. (2006). Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. OTM Conferences (2). https://doi.org/10.1007/11914952_41

Frank Alexander Kraemer, et al.. "Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services." OTM Conferences (2), 2006, https://doi.org/10.1007/11914952_41.

Frank Alexander Kraemer, et al.. "Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services." OTM Conferences (2) (2006). https://doi.org/10.1007/11914952_41

Frank Alexander Kraemer et al., 2006. Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. OTM Conferences (2). Available at: <https://doi.org/10.1007/11914952_41>.

TY  - JOUR
TI  - Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services
AU  - Frank Alexander Kraemer
AU  - Peter Herrmann
AU  - Rolv Bræk
PY  - 2006
JO  - OTM Conferences (2)
DO  - 10.1007/11914952_41
UR  - https://doi.org/10.1007/11914952_41
ER  -