Tomasz Szmuc

	2008
7		Rafal Mrowka, Tomasz Szmuc: UML Statecharts Compositional Semantics in LOTOS. ISPDC 2008: 459-463
	2007
6		Marcin Szpyrka, Tomasz Szmuc: Decision Tables in Petri Net Models. RSEISP 2007: 648-657
	2006
5		Marcin Szpyrka, Tomasz Szmuc: Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357
4		Marcin Szpyrka, Tomasz Szmuc: Integrated Approach to Modelling and Analysis using RTCP-nets. SET 2006: 115-120
	2005
3		Krzysztof Zielinski, Tomasz Szmuc: Software Engineering: Evolution and Emerging Technologies IOS Press 2005
2		Slawomir Samolej, Tomasz Szmuc: TCPN-Based Tool for Timing Constraints Modelling and Validation. Software Engineering: Evolution and Emerging Technologies 2005: 194-205
1		Grzegorz Rogus, Tomasz Szmuc: Modeling and Verification of Reactive Software Using LOTOS. Software Engineering: Evolution and Emerging Technologies 2005: 365-377

Coauthor Index

1	Rafal Mrowka	[7]
2	Grzegorz Rogus	[1]
3	Slawomir Samolej	[2]
4	Marcin Szpyrka	[4] [5] [6]
5	Krzysztof Zielinski	[3]

Colors in the list of coauthors