?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.tcs.2013.08.016&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Tschaikowski%2C+Max&rft.aulast=Tschaikowski&rft.aufirst=Max&rft.issn=0304-3975&rft.pages=1+-+33&rft.date=January+2014&rft.volume=517&rft.title=Theoretical+Computer+Science&rft.atitle=Tackling+continuous+state-space+explosion+in+a+Markovian+process+algebra+&rft.genre=article