Reference : From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications |
Reports : External report | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/10672 | |||
From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications | |
English | |
Bianculli, Domenico ![]() | |
Krstic, Srđan [] | |
Ghezzi, Carlo [] | |
San Pietro, Pierluigi [] | |
2013 | |
Politecnico di Milano | |
20 | |
2013.26 | |
Milano | |
Italy | |
http://hdl.handle.net/10993/10672 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.