ID:DA13246750
PAPM-PROBMIV Workshop
同姓同名の著者を検索
Holger Hermanns, Roberto Segala (eds.)
Springer c2002 Lecture notes in computer science 2399
所蔵館24館
Luca de Alfaro, Stephen Gilmore (eds.)
Springer c2001 Lecture notes in computer science 2165
所蔵館25館