%0 Conference Paper %1 conf/compsac/LiuDHZ08 %A Liu, Rujuan %A Dai, Guilan %A Hu, Changjun %A Zhao, Chongchong %B COMPSAC %D 2008 %I IEEE Computer Society %K dblp %P 1187-1192 %T A Verification Method for Temporal Consistency of Service Flow. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2008.html#LiuDHZ08 %@ 978-0-7695-3262-2

@inproceedings{conf/compsac/LiuDHZ08, added-at = {2014-10-09T00:00:00.000+0200}, author = {Liu, Rujuan and Dai, Guilan and Hu, Changjun and Zhao, Chongchong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fb25412c87989c2e84b36bb22c47f303/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.209}, interhash = {49c05bd5d550d12b4900ec91c652a7f1}, intrahash = {fb25412c87989c2e84b36bb22c47f303}, isbn = {978-0-7695-3262-2}, keywords = {dblp}, pages = {1187-1192}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:54:48.000+0100}, title = {A Verification Method for Temporal Consistency of Service Flow.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2008.html#LiuDHZ08}, year = 2008 }