Applications of hierarchical reasoning in the verification of complex systems (0)

by S Jacobs, V Sofronie-Stokkermans
Venue:Electronic Notes in Theoretical Computer Science