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.rdf
Joost-Pieter Katoen et al.: A linear process-algebraic format with data for probabilistic automata. (2012) journals/tcs/KatoenPST12 10.1016/J.TCS.2011.07.021 Q57801041 A linear process-algebraic format with data for probabilistic automata. 4 Joost-Pieter Katoen 1 Jaco van de Pol 2 Mariëlle Stoelinga 3 Mark Timmer 4 36-57 Theor. Comput. Sci. Theor. Comput. Sci. 413 1 2012 provenance information for RDF data of dblp record 'journals/tcs/KatoenPST12' 2021-04-09T18:27:58+0200