نتایج جستجو
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
Edmund M. Clarke (auth.), 2002
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
Edmund M. Clarke (auth.), 2002
Die juridische Rationalität: 248. Sitzung am 23.April 1980 in Düsseldorf
Helmut Schelsky (auth.), 1980
