{"user_id":"29719","citation":{"bibtex":"@article{Metzler_Wehrheim_2007, title={Extending a Component Specification Language with Time}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">10.1016/j.entcs.2006.02.031</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Metzler, Björn and Wehrheim, Heike}, year={2007}, pages={47--67} }","short":"B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.","chicago":"Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2007): 47--67. <a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">https://doi.org/10.1016/j.entcs.2006.02.031</a>.","ama":"Metzler B, Wehrheim H. Extending a Component Specification Language with Time. <i>Electr Notes Theor Comput Sci</i>. 2007;(2):47--67. doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">10.1016/j.entcs.2006.02.031</a>","mla":"Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2007, pp. 47--67, doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">10.1016/j.entcs.2006.02.031</a>.","ieee":"B. Metzler and H. Wehrheim, “Extending a Component Specification Language with Time,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 47--67, 2007.","apa":"Metzler, B., &#38; Wehrheim, H. (2007). Extending a Component Specification Language with Time. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 47--67. <a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">https://doi.org/10.1016/j.entcs.2006.02.031</a>"},"date_created":"2018-06-13T09:57:37Z","title":"Extending a Component Specification Language with Time","_id":"3212","department":[{"_id":"77"}],"author":[{"last_name":"Metzler","full_name":"Metzler, Björn","first_name":"Björn"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"status":"public","year":"2007","page":"47--67","type":"journal_article","date_updated":"2022-01-06T06:59:05Z","publication":"Electr. Notes Theor. Comput. Sci.","doi":"10.1016/j.entcs.2006.02.031","issue":"2"}