PATool - a tool for design and analysis of discrete systems using process algebras with FDT integration support

Bibliographic Details
Main Authors:	Šimoňák, Slavomír, 1974- (Author), Peťko, Ivan, 1984- (Author)
Format:	Article
Language:	Slovak English
Subjects:	diskrétne systémy procesné algebry formálne opisné techniky počítačové systémy štúdie
Online Access:	http://www.aei.tuke.sk/pdf/2010-01/10_Simonak.pdf

Internet