%0 Journal Article %1 journals/mics/YoshidaHA08 %A Yoshida, Hiroshi %A Horimoto, Katsuhisa %A Anai, Hirokazu %D 2008 %J Math. Comput. Sci. %K dblp %N 3 %P 473-485 %T Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination. %U http://dblp.uni-trier.de/db/journals/mics/mics1.html#YoshidaHA08 %V 1

@article{journals/mics/YoshidaHA08, added-at = {2020-08-12T00:00:00.000+0200}, author = {Yoshida, Hiroshi and Horimoto, Katsuhisa and Anai, Hirokazu}, biburl = {https://www.bibsonomy.org/bibtex/2c33fa12f3a90de62ecd0e9c8738dbf35/dblp}, ee = {https://doi.org/10.1007/s11786-007-0037-z}, interhash = {ebc8a2d9d9cbfa84aa02204bc905b7e5}, intrahash = {c33fa12f3a90de62ecd0e9c8738dbf35}, journal = {Math. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {473-485}, timestamp = {2020-08-13T11:51:47.000+0200}, title = {Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.}, url = {http://dblp.uni-trier.de/db/journals/mics/mics1.html#YoshidaHA08}, volume = 1, year = 2008 }