ID:DA03267492
Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School
同姓同名の著者を検索
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
Springer-Verlag c1989 Lecture notes in computer science 354
: gw , : us
所蔵館59館