Comparing the LTSmin and NuSMV reachability tools via automatic translation of their respective input languages
Author(s): Beek, Daan van (2013)
Abstract:
Document(s):
MSc_Daan_van_Beek_OPENBAAR.pdf