%0 Conference Paper %1 conf/hybrid/GlavaskiPA05 %A Glavaski, Sonja %A Papachristodoulou, Antonis %A Ariyur, Kartik %B HSCC %D 2005 %E Morari, Manfred %E Thiele, Lothar %I Springer %K dblp %P 306-321 %T Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2005.html#GlavaskiPA05 %V 3414 %@ 3-540-25108-1

@inproceedings{conf/hybrid/GlavaskiPA05, added-at = {2017-05-25T00:00:00.000+0200}, author = {Glavaski, Sonja and Papachristodoulou, Antonis and Ariyur, Kartik}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c726d67e2cbc0b82eb46098a8bf38518/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2005}, editor = {Morari, Manfred and Thiele, Lothar}, ee = {https://doi.org/10.1007/978-3-540-31954-2_20}, interhash = {e0d9afeea96485413985df3682eae021}, intrahash = {c726d67e2cbc0b82eb46098a8bf38518}, isbn = {3-540-25108-1}, keywords = {dblp}, pages = {306-321}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:02:43.000+0200}, title = {Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2005.html#GlavaskiPA05}, volume = 3414, year = 2005 }