scientific article; zbMATH DE number 2006480

zbMath1024.68701MaRDI QIDQ4435847

Marlon Dumas, Arthur H. M. ter Hofstede

Publication date: 20 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2185/21850076.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (5)

Automatic workflow verification and generation ⋮ A new approach to development of composite Web Services ⋮ Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data ⋮ Reduction of Workflow Nets for Generalised Soundness Verification ⋮ Information flow analysis of scientific workflows

This page was built for publication: