DMCA

D.: Symmetry reduction for probabilistic model checking (2006)

by Marta Kwiatkowska , Gethin Norman , David Parker
Venue:International Organization for Standardization. ISO Information Processing Systems - Data Communication High-Level Data Link Control Procedure - Frame Structure. IS 3309
Citations:44 - 13 self