Formal Methods in System Design

Availability: free for staff and students of Hamburg University of Applied Sciences
Licensed Period: SpringerNature DEAL: Vol. 56, Iss. 1 (2020) -   ReadMe
Licensed Period: Übergangsvereinbarung DEAL: Vol. 10, Iss. 1 (1997) -   ReadMe
Homepage(s):
Fulltext available since: Volume 1 , H. 1 (1992)
Publisher: Springer Science+Business Media B.V. (formerly Kluwer Academic Publishers)
ZDB-ID: 1479899-2
Subject(s):
Tag(s): Theoretische Informatik
E-ISSN(s): 1572-8102
P-ISSN(s): 0925-9856
Appearance: Fulltext, online and print
Costs: subject to fee
  List of participate institutions which offer full access.