A methodology for formal expression of hierarchy in model solution.

Manish MalhotraKishor S. Trivedi
Published in: PNPM (1993)
Keyphrases