PROPERTY RIGHTS AND EMINENT DOMAIN
ELLEN FRANKEL PAUL1988 年出版142 页ISBN:0887380948
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN: