@article{Wolter00, title = {{On Markov Reward Modelling with FSPNs}}, author = {Katinka Wolter and Andrea Zisowsky}, journal = {Performance Evaluation}, year = {2001}, pages = {165--186}, volume = {44}, owner = {katinka}, timestamp = {2010.06.01}, }