Towards Hybrid Reasoning for Verifying and Validating Multilevel Models.

Nophadol Jekjantuk, Gerd Grner, Jeff Z. Pan, Edward Thomas

Browse the full EKAW paper archive.