Guy Edward Gallasch

Available identifiers

zbMath Open gallasch.guy-edwardMaRDI QIDQ3011893

List of research outcomes

Publication	Date of Publication	Type
On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet	2011-06-29	Paper
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network	2010-10-04	Paper
Parametric Language Analysis of the Class of Stop-and-Wait Protocols	2008-07-03	Paper
Model Checking Software	2007-05-02	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets	2006-02-06	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper

Research outcomes over time

This page was built for person: Guy Edward Gallasch