แสดงข้อมูลผลงานตีพิมพ์ อ้างอิงจากฐาน pubswatch.psu.ac.th (*คลิก GO ทุกครั้งหากกำหนดการค้นใหม่)
| ลำดับ | รายละเอียดผลงาน | ||
|---|---|---|---|
| 1 | Damchoom K., Butler M. and Abrial J. (2008). Modelling and proof of a tree-structured file system in event-B and rodin. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5256 LNCS, 25-44. Cited: 24 doi: https://doi.org/10.1007/978-3-540-88194-0_5 | ||
| รวม Scopus 1 รายการ 24 citations | |||
Copyright ©2021-2022 by Faculty of Science and Technology
Prince of Songkla University, 181 Rusamilae Meaung Pattani, 94000
Tel: 073-331303 Email: sat-it@psu.ac.th