PakCat catalogue record

Model Checking and Artificial Intelligence

By Ron van der Meyden, Jan-Georg Smaus (Eds.)

Bibliographic details

Subjects

NULL