DMCA

General quantitative specification theories with modalities (2012)

Cached

Download Links

by Sebastian S. Bauer , Uli Fahrenberg , Axel Legay , Claus Thrane
Venue:Juhani Karhumäki, Arto Lepistö, and Michail Prilutskii, editors, CSR, volume 7353 of LNCS
Citations:5 - 4 self