Skip to content

On model checking multiple hybrid views.

Michael Huth, Altaf Hussain

VenueCISoLA
Year2004
ProceedingsISoLA (Preliminary proceedings)

Browse the full ISoLA paper archive.