{"date_created":"2019-03-05T13:29:36Z","place":"York, UK","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)","citation":{"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.","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.","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.","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.","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.","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} }","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."},"_id":"8345","publisher":"University of York","language":[{"iso":"eng"}],"user_id":"52534","title":"Towards Consistency of Dynamic Models and Analysis of Timing Constraints","status":"public","year":"2000","author":[{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"last_name":"Stroop","first_name":"Joachim","full_name":"Stroop, Joachim"}],"date_updated":"2022-01-06T07:03:53Z"}