Property-Driven Scenario Integration.

Jewgenij Botaschanjan, Alexander Harhurin

Browse the full SEFM paper archive.