?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-662-48057-1_23&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Iacobelli%2C+Giulio&rft.aulast=Iacobelli&rft.aufirst=Giulio&rft.tpages=13&rft.isbn=978-3-662-48056-4&rft.date=2015&rft.btitle=Mathematical+Foundations+of+Computer+Science+2015.+40th+International+Symposium%2C+MFCS+2015%2C+Milan%2C+Italy%2C+August+24-28%2C+2015%2C+Proceedings%2C+Part+I&rft.title=Differential+Bisimulation+for+a+Markovian+Process+Algebra&rft.genre=bookitem