|
附注:
|
xiii, 626 p. : |
|
由:
|
Lecture notes in computer science ; 继承. |
|
著者:
|
Brinksma, Ed. |
|
著者:
|
Larsen, K. G. |
|
主要团体责任者:
|
Federated Logic Conference |