Login / Signup

A Deductive Database Support to the Specification of Concurrent Systems.

Patrizia AsirelliStefania GnesiMaria Cristina Rossi
Published in: SOFSEM (1996)
Keyphrases