%0 Book Section
%B Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
%D 2014
%G eng
%I Springer Berlin Heidelberg
%P 391-403
%R 10.1007/978-3-662-45231-8_30
%S Lecture Notes in Computer Science
%T Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
%U http://dx.doi.org/10.1007/978-3-662-45231-8_30
%V 8803
%@ 978-3-662-45230-1