Bookmark Saya

Semantic Scholar Open Access 2000 495 sitasi

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Wil M.P. van der Aalst
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

W

Wil M.P. van der Aalst

Format Sitasi

APA MLA BibTeX
Aalst, W.M.v.d. (2000). Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. https://doi.org/10.1007/3-540-45594-9_11

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1007/3-540-45594-9_11
Informasi Jurnal
Tahun Terbit
2000
Bahasa
en
Total Sitasi
495×
Sumber Database
Semantic Scholar
DOI
10.1007/3-540-45594-9_11
Akses
Open Access ✓