On verification of nested workflows with extra constraints: From theory to practice: Methods and Applications of Artificial and Computational Intelligence

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Expert systems with applications 2014, Vol.41 (3), p.904-918
Hauptverfasser:	BARTAK, Roman, ROVENSKY, Vladimír
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science control theory systems Exact sciences and technology Firm modelling Information systems. Data bases Memory organisation. Data processing Operational research and scientific management Operational research. Management science Software Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
ISSN:	0957-4174 1873-6793