Tomasz Szmuc Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafal Mrowka, Tomasz Szmuc: UML Statecharts Compositional Semantics in LOTOS. ISPDC 2008: 459-463
2007
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Szpyrka, Tomasz Szmuc: Decision Tables in Petri Net Models. RSEISP 2007: 648-657
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Szpyrka, Tomasz Szmuc: Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Szpyrka, Tomasz Szmuc: Integrated Approach to Modelling and Analysis using RTCP-nets. SET 2006: 115-120
2005
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof Zielinski, Tomasz Szmuc: Software Engineering: Evolution and Emerging Technologies IOS Press 2005
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlawomir Samolej, Tomasz Szmuc: TCPN-Based Tool for Timing Constraints Modelling and Validation. Software Engineering: Evolution and Emerging Technologies 2005: 194-205
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rogus, Tomasz Szmuc: Modeling and Verification of Reactive Software Using LOTOS. Software Engineering: Evolution and Emerging Technologies 2005: 365-377

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)