DMCA

Statistical model checking: An overview (2010)

by Axel Legay , Benoît Delahaye , Saddek Bensalem
Venue:RV 2010
Citations:28 - 6 self