iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/acsd/XingTLPTV10.xml
Jiansheng Xing Bart D. Theelen Rom Langerak Jaco van de Pol Jan Tretmans Jeroen Voeten From POOSL to UPPAAL: Transformation and Quantitative Analysis. 47-56 2010 ACSD https://doi.org/10.1109/ACSD.2010.21 https://doi.ieeecomputersociety.org/10.1109/ACSD.2010.21 https://www.wikidata.org/entity/Q62047472 conf/acsd/2010 db/conf/acsd/acsd2010.html#XingTLPTV10