TY - GEN

AU - Schellhorn, Gerhard

TI - Verification of abstract state machines

PY - 2021-03-11

N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -