On-the-Fly Exact Computation of Bisimilarity Distances

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

31 Citationer (Scopus)
OriginalsprogEngelsk
TitelTools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
RedaktørerNir Piterman, Scott A. Smolka
Vol/bind7795
ForlagSpringer Publishing Company
Publikationsdato2013
Sider1-15
ISBN (Trykt)978-3-642-36741-0
ISBN (Elektronisk)978-3-642-36742-7
DOI
StatusUdgivet - 2013
Begivenhed19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): ETAPS - Rome, Italien
Varighed: 16 mar. 201324 mar. 2013

Konference

Konference19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
LandItalien
ByRome
Periode16/03/201324/03/2013
NavnLecture Notes in Computer Science
Vol/bind7795
ISSN0302-9743

Citationsformater