Advanced Search
Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Detail CantumanXML DetailCite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "Schreiner, Dietmar."
Permintaan membutuhkan 4.94681 detik untuk selesai
XML ResultJSON Result