%0 Conference Paper %1 conf/forte/PickinJTJJG02 %A Pickin, Simon %A Jard, Claude %A Traon, Yves Le %A Jéron, Thierry %A Jézéquel, Jean-Marc %A Guennec, Alain Le %B FORTE %D 2002 %E Peled, Doron A. %E Vardi, Moshe Y. %I Springer %K dblp %P 97-113 %T System Test Synthesis from UML Models of Distributed Software. %U http://dblp.uni-trier.de/db/conf/forte/forte2002.html#PickinJTJJG02 %V 2529 %@ 3-540-00141-7

@inproceedings{conf/forte/PickinJTJJG02, added-at = {2021-03-29T00:00:00.000+0200}, author = {Pickin, Simon and Jard, Claude and Traon, Yves Le and Jéron, Thierry and Jézéquel, Jean-Marc and Guennec, Alain Le}, biburl = {https://www.bibsonomy.org/bibtex/2bc43273ec9e8d27455d93c2a3309bac3/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2002}, editor = {Peled, Doron A. and Vardi, Moshe Y.}, ee = {https://doi.org/10.1007/3-540-36135-9_7}, interhash = {1412a74582a6458af8f4c486a48692aa}, intrahash = {bc43273ec9e8d27455d93c2a3309bac3}, isbn = {3-540-00141-7}, keywords = {dblp}, pages = {97-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:16:53.000+0200}, title = {System Test Synthesis from UML Models of Distributed Software.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2002.html#PickinJTJJG02}, volume = 2529, year = 2002 }