Search History Select to load keywords (author equals "ทิพยเนตร อริยปิติพันธ์") AND (author equals "จงจิตร อังคทะวานิช") AND (author equals "วินัย ดะห์ลัน") AND (author equals "นันทรี ชัยชนะวงศาโรจน์") (type equals "Thesis") AND (subject equals "Computer Science") AND (subject equals "Engineering") AND (subject equals "COLORED PETRI NET") AND (subject equals "FORMAL VERIFICATION")
Use filters to refine the search results.