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