Björn Postma - Fluid Survival Tool: A model checker for Hybrid Petri nets

author:Björn Postma
title:Fluid Survival Tool: A model checker for Hybrid Petri nets
keywords:
topics:Software Technology
committee:A. Remke (1st supervisor)
P. Haverkort
dr.ir. R. Langerak
H. Ghasemieh
graduation date:29 August 2013


Abstract