Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1111.0370
Cited By
Distributed Parametric and Statistical Model Checking
2 November 2011
Peter E. Bulychev
Alexandre David
Kim G. Larsen
Marius Mikucionis
Axel Legay
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Distributed Parametric and Statistical Model Checking"
1 / 1 papers shown
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
SPIN (SPIN), 2012
Vadim Alimguzhin
F. Mari
I. Melatti
Ivano Salvo
Enrico Tronci
192
10
0
08 Oct 2012
1
Page 1 of 1
