نتایج جستجو
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
New Directions in Climate Change Vulnerability, Impacts, and Adaptation Assessment: Summary of a Workshop
National Research Council, 2009
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
Krzysztof R. Apt (auth.), 1984
