Author: Hans Toetenel
Publication Overview
Publication period start: 2001
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Bandini,
G.,
Spelberg,
R. F. Lutje,
Rooij,
Ruud C. M. de,
Toetenel,
Hans
(2001):
Application of Parametric Model Checking - The Root Contention Protocol.
In:
HICSS 2001
,
2001,
.
https://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819070abs.htm
Toetenel,
Hans,
Roubtsova,
Ella E.,
Katwijk,
Jan van
(2001):
A Timed Automata Semantics for Real-Time UML Specifications.
In:
HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments
September 5-7,
2001,
Stresa, Italy.
pp. 88-95.
https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740088abs.htm