View of Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics

Return to Article Details Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics Download Download PDF