?url_ver=Z39.88-2004&rft_id=10.4108%2Ficst.valuetools.2013.254377&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Stefano&rft.aulast=Sebastio&rft.au=Sebastio%2C+Stefano&rft.date=2013&rft.isbn=978-1-936968-48-0&rft.title=MultiVeStA%3A+Statistical+Model+Checking+for+Discrete+Event+Simulators&rft.btitle=Proceedings+of+the+7th+International+Conference+on+Performance+Evaluation+Methodologies+and+Tools+.+ValueTools+'13&rft.genre=proceeding