> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Verification of abstract state machines Beteiligte: Schellhorn, Gerhard [VerfasserIn] Erschienen: Augsburg University Publication Server (OPUS), 2021-03-11 Sprache: Englisch Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang