Amanote Research
Register
Sign In
Model Classifications and Automated Verification
doi 10.1007/978-3-540-79707-4_12
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Radek Pelánek
Publisher
Springer Berlin Heidelberg