Dependable Systems
and Software
Home
Members
Research
Teaching
Theses
Tools
Contact
Imprint
Privacy Policy
Lars Schieffer: Master's Thesis
JANI2PINS: The JANI Front-end Module for the LTSmin Toolset
Submitted:
September 2020
Abstract
This thesis has no abstract.
