Thông tin bài báo khoa học
| Tên bài báo: | Soundness unknotted: An efficient soundness checking algorithm for arbitrary cyclic process models by loosening loops | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tạp chí: |
|
||||||||||||||||||||
| Lĩnh vực: | KHOA HỌC MÁY TÍNH VÀ THÔNG TIN | ||||||||||||||||||||
| Tác giả: | Hà Ngọc Long, Thomas M. Prinz (Chính), Yongsun Choi | ||||||||||||||||||||
| Thuộc đề tài: | 0 | ||||||||||||||||||||
| Liên kết: | https://www.sciencedirect.com/science/article/pii/S0306437924001340 |