E. M. Bortnik

2005
2		E. M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda: Verification of timed chi models using uppaal. ICINCO 2005: 486-492
1	EE	E. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda: Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebr. Program. 65(2): 51-104 (2005)

Coauthor Index

1	Jos C. M. Baeten	[1]
2	D. A. van Beek	[2]
3	Wan Fokkink	[1]
4	Bas Luttik (S. P. Luttik)	[1]
5	J. M. van de Mortel-Fronczak	[1] [2]
6	J. E. Rooda	[1] [2]
7	Nikola Trcka	[1]
8	Anton Wijs	[1]