---
_id: '8345'
author:
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Joachim
  full_name: Stroop, Joachim
  last_name: Stroop
citation:
  ama: 'Küster J, Stroop J. Towards Consistency of Dynamic Models and Analysis of
    Timing Constraints. In: <i>Proceedings of 1st Workshop on Formal Design Techniques
    for Real-Time Systems (Satellite Event of the UML 2000), York (UK)</i>. York,
    UK: University of York; 2000.'
  apa: 'Küster, J., &#38; Stroop, J. (2000). Towards Consistency of Dynamic Models
    and Analysis of Timing Constraints. In <i>Proceedings of 1st Workshop on Formal
    Design Techniques for Real-time Systems (satellite event of the UML 2000), York
    (UK)</i>. York, UK: University of York.'
  bibtex: '@inproceedings{Küster_Stroop_2000, place={York, UK}, title={Towards Consistency
    of Dynamic Models and Analysis of Timing Constraints}, booktitle={Proceedings
    of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event
    of the UML 2000), York (UK)}, publisher={University of York}, author={Küster,
    Jochen and Stroop, Joachim}, year={2000} }'
  chicago: 'Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models
    and Analysis of Timing Constraints.” In <i>Proceedings of 1st Workshop on Formal
    Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York
    (UK)</i>. York, UK: University of York, 2000.'
  ieee: J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis
    of Timing Constraints,” in <i>Proceedings of 1st Workshop on Formal Design Techniques
    for Real-time Systems (satellite event of the UML 2000), York (UK)</i>, 2000.
  mla: Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models
    and Analysis of Timing Constraints.” <i>Proceedings of 1st Workshop on Formal
    Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York
    (UK)</i>, University of York, 2000.
  short: 'J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques
    for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University
    of York, York, UK, 2000.'
date_created: 2019-03-05T13:29:36Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
place: York, UK
publication: Proceedings of 1st Workshop on Formal Design Techniques for Real-time
  Systems (satellite event of the UML 2000), York (UK)
publisher: University of York
status: public
title: Towards Consistency of Dynamic Models and Analysis of Timing Constraints
type: conference
user_id: '52534'
year: '2000'
...