![]() |
@article{DBLP:journals/chinaf/XuWW07,
author = {Ke Xu and
Yuexuan Wang and
Cheng Wu},
title = {Formal verification technique for grid service chain model
and its application},
journal = {Science in China Series F: Information Sciences},
volume = {50},
number = {1},
year = {2007},
pages = {1-20},
ee = {http://dx.doi.org/10.1007/s11432-007-0006-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-05-23 by Michael Ley (ley@uni-trier.de)