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.