著者: Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili - Lecture notes in computer science 2000 被引用: 288
