نتایج جستجو
The Europeanisation of International Family Law
N. A. Baarsma (auth.), 2011
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
