{"status":"public","main_file_link":[{"url":"http://www.bodden.de/pubs/gsb18model.pdf"}],"language":[{"iso":"eng"}],"citation":{"apa":"Gerking, C., Schubert, D., &#38; Bodden, E. (2018). Model Checking the Information Flow Security of Real-Time Systems. In M. Payer, A. Rashid, &#38; J. M. Such (Eds.), <i>Engineering Secure Software and Systems</i> (pp. 27–43). Springer International Publishing.","ama":"Gerking C, Schubert D, Bodden E. Model Checking the Information Flow Security of Real-Time Systems. In: Payer M, Rashid A, Such JM, eds. <i>Engineering Secure Software and Systems</i>. Springer International Publishing; 2018:27-43.","ieee":"C. Gerking, D. Schubert, and E. Bodden, “Model Checking the Information Flow Security of Real-Time Systems,” in <i>Engineering Secure Software and Systems</i>, 2018, pp. 27–43.","bibtex":"@inproceedings{Gerking_Schubert_Bodden_2018, place={Cham}, title={Model Checking the Information Flow Security of Real-Time Systems}, booktitle={Engineering Secure Software and Systems}, publisher={Springer International Publishing}, author={Gerking, Christopher and Schubert, David and Bodden, Eric}, editor={Payer, Mathias and Rashid, Awais and Such, Jose M.}, year={2018}, pages={27–43} }","mla":"Gerking, Christopher, et al. “Model Checking the Information Flow Security of Real-Time Systems.” <i>Engineering Secure Software and Systems</i>, edited by Mathias Payer et al., Springer International Publishing, 2018, pp. 27–43.","short":"C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.","chicago":"Gerking, Christopher, David Schubert, and Eric Bodden. “Model Checking the Information Flow Security of Real-Time Systems.” In <i>Engineering Secure Software and Systems</i>, edited by Mathias Payer, Awais Rashid, and Jose M. Such, 27–43. Cham: Springer International Publishing, 2018."},"year":"2018","publisher":"Springer International Publishing","date_updated":"2022-01-06T06:54:29Z","page":"27-43","user_id":"5786","date_created":"2020-11-30T09:35:55Z","publication":"Engineering Secure Software and Systems","place":"Cham","type":"conference","department":[{"_id":"76"}],"title":"Model Checking the Information Flow Security of Real-Time Systems","author":[{"first_name":"Christopher","last_name":"Gerking","full_name":"Gerking, Christopher"},{"id":"9106","first_name":"David","last_name":"Schubert","full_name":"Schubert, David"},{"first_name":"Eric","id":"59256","full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"}],"editor":[{"last_name":"Payer","full_name":"Payer, Mathias","first_name":"Mathias"},{"last_name":"Rashid","full_name":"Rashid, Awais","first_name":"Awais"},{"full_name":"Such, Jose M.","last_name":"Such","first_name":"Jose M."}],"_id":"20546"}