scientific article; zbMATH DE number 1945823

zbMath1017.68636MaRDI QIDQ4410581

Soon Ae Chun, Vijay Atluri, Nabil R. Adam

Publication date: 3 July 2003

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

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (1)

Automatic workflow verification and generation

This page was built for publication: