?url_ver=Z39.88-2004&rft_id=10.4108%2Ficst.valuetools.2013.254364&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Bortolussi%2C+Luca&rft.aulast=Bortolussi&rft.aufirst=Luca&rft.date=2013&rft.btitle=ValueTools+'13.+Proceedings+of+the+7th+International+Conference+on+Performance+Evaluation+Methodologies+and+Tools&rft.title=Differential+Analysis+of+Interacting+Automata+with+Immediate+Actions&rft.isbn=978-1-936968-48-0&rft.genre=proceeding