On the correctness of modular systems

  1. Navarro, M.
  2. Orejas, F.
  3. Sánchez, A.
Zeitschrift:
Theoretical Computer Science

ISSN: 0304-3975

Datum der Publikation: 1995

Ausgabe: 140

Nummer: 1

Seiten: 139-177

Art: Artikel

DOI: 10.1016/0304-3975(94)00207-Y GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus