Ditemukan 1 dokumen yang sesuai dengan query
P. Madhusudan, editor
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata...
Berlin : [Springer-Verlag, ], 2012
e20410422
eBooks Universitas Indonesia Library
