%0 Conference Paper %1 conf/fhies/RabbiMM11 %A Rabbi, Fazle %A Mashiyat, Ahmed Shah %A MacCaull, Wendy %B FHIES %D 2011 %E Liu, Zhiming %E Wassyng, Alan %I Springer %K dblp %P 111-128 %T Model Checking Workflow Monitors and Its Application to a Pain Management Process. %U http://dblp.uni-trier.de/db/conf/fhies/fhies2011.html#RabbiMM11 %V 7151 %@ 978-3-642-32354-6

@inproceedings{conf/fhies/RabbiMM11, added-at = {2020-09-02T00:00:00.000+0200}, author = {Rabbi, Fazle and Mashiyat, Ahmed Shah and MacCaull, Wendy}, biburl = {https://www.bibsonomy.org/bibtex/2236d5dc3925285acd9aaed8fe6d72529/dblp}, booktitle = {FHIES}, crossref = {conf/fhies/2011}, editor = {Liu, Zhiming and Wassyng, Alan}, ee = {https://doi.org/10.1007/978-3-642-32355-3_7}, interhash = {6895386bccc9c508465422de37580bda}, intrahash = {236d5dc3925285acd9aaed8fe6d72529}, isbn = {978-3-642-32354-6}, keywords = {dblp}, pages = {111-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:29:52.000+0200}, title = {Model Checking Workflow Monitors and Its Application to a Pain Management Process.}, url = {http://dblp.uni-trier.de/db/conf/fhies/fhies2011.html#RabbiMM11}, volume = 7151, year = 2011 }