%0 Conference Paper %1 conf/forte/PardoNR10 %A Pardo, Juan José %A Núñez, Manuel %A Ruiz, M. Carmen %B FMOODS/FORTE %D 2010 %E Hatcliff, John %E Zucca, Elena %I Springer %K dblp %P 78-86 %T Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. %U http://dblp.uni-trier.de/db/conf/forte/forte2010.html#PardoNR10 %V 6117 %@ 978-3-642-13463-0

@inproceedings{conf/forte/PardoNR10, added-at = {2018-06-26T00:00:00.000+0200}, author = {Pardo, Juan José and Núñez, Manuel and Ruiz, M. Carmen}, biburl = {https://www.bibsonomy.org/bibtex/256e841844e5f57cc03859e6b404517a7/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2010}, editor = {Hatcliff, John and Zucca, Elena}, ee = {https://doi.org/10.1007/978-3-642-13464-7_7}, interhash = {a0dc05ee384ab0d8523ae01c6861cc8a}, intrahash = {56e841844e5f57cc03859e6b404517a7}, isbn = {978-3-642-13463-0}, keywords = {dblp}, pages = {78-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:40.000+0200}, title = {Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2010.html#PardoNR10}, volume = 6117, year = 2010 }