%0 Conference Paper %1 conf/case/HamanaAX16 %A Hamana, Sabri %A Augusto, Vincent %A Xie, Xiaolan %B CASE %D 2016 %I IEEE %K dblp %P 658-663 %T A timed Petri net approach for verification of Territorial Healthcare Information Systems. %U http://dblp.uni-trier.de/db/conf/case/case2016.html#HamanaAX16 %@ 978-1-5090-2409-4

@inproceedings{conf/case/HamanaAX16, added-at = {2023-03-21T00:00:00.000+0100}, author = {Hamana, Sabri and Augusto, Vincent and Xie, Xiaolan}, biburl = {https://www.bibsonomy.org/bibtex/23b52ef815949bd2843b4316d649f0f18/dblp}, booktitle = {CASE}, crossref = {conf/case/2016}, ee = {https://doi.org/10.1109/COASE.2016.7743465}, interhash = {65f036bcd1d72c10fea3156c4956721b}, intrahash = {3b52ef815949bd2843b4316d649f0f18}, isbn = {978-1-5090-2409-4}, keywords = {dblp}, pages = {658-663}, publisher = {IEEE}, timestamp = {2024-04-10T22:40:14.000+0200}, title = {A timed Petri net approach for verification of Territorial Healthcare Information Systems.}, url = {http://dblp.uni-trier.de/db/conf/case/case2016.html#HamanaAX16}, year = 2016 }