Search History Select to load keywords (author equals "ชัชวาล ใจซื่อกุล") AND (author equals "มารุต เฟื่องอาวรณ์") AND (author equals "กิ่งแก้ว วัฒนเสริมกิจ") AND (author equals "ปิโยรส ทองเกิด") AND (author equals "นนทิวิชญ ตัณฑวณิช") AND (dateIssued equals "2550") (dateIssued equals "[2500 TO 2566]") AND (subject equals "Engineering") AND (subject equals "Computer Science") AND (subject equals "COLORED PETRI NET") AND (subject equals "MODEL TRANSFORMATION") AND (subject equals "FORMAL VERIFICATION")
Use filters to refine the search results.