Acronyms von A bis Z
LNCS1427
-A.J. Hu, M.Y. Vardi (Eds.), Computer Aided Verification. Proceedings, Springer-Verlag 1998
-A.J. Hu, M.Y. Vardi (Eds.), Computer Aided Verification. Proceedings, Springer-Verlag 1998