TY -
GEN
AU - Easterbrook, Steve
AU - Chechik, Marsha
TI -
Guest Editorial: Special Issue on Model Checking in Requirements Engineering
PB - Springer Science and Business Media LLC
SN - 0947-3602
PY - 2002
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -