ID:DA01234506
Advanced Study Institute on Logics and Models of Concurrent Systems, NATO
Institute on Logics and Models of Concurrent Systems, NATO Advanced Study
Search authors sharing the same name
edited by Krzysztof R. Apt
Springer-Verlag c1985 NATO ASI series ser. F . Computer and systems sciences ; v. 13
: Germany , : U.S.
Available at 27 libraries