Author Czachórski T.; Pekergin F. Journal LNCS, Formal Techniques for Computer Systems and Bisiness Proesses Year of Publication 2005 Status Published Number of Pages 187–199 Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedMarcRIS