DMCA

A.: Automatic verification of competitive stochastic systems (2011)

by Taolue Chen , Vojtěch Forejt , Marta Kwiatkowska , David Parker , Aistis Simaitis
Citations:17 - 12 self