Login / Signup

Analysis of Timed Concurrent Models Based on Testing Equivalence.

Maria V. AndreevaElena N. BozhenkovaIrina B. Virbitskaite
Published in: Fundam. Informaticae (2000)
Keyphrases