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/journals/tcs/KatoenPST12.xml
Joost-Pieter Katoen Jaco van de Pol Mariëlle Stoelinga Mark Timmer A linear process-algebraic format with data for probabilistic automata. 36-57 2012 413 Theor. Comput. Sci. 1 https://doi.org/10.1016/j.tcs.2011.07.021 https://www.wikidata.org/entity/Q57801041 db/journals/tcs/tcs413.html#KatoenPST12