Kriangsak Damchoom

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
c2		Kriangsak Damchoom, Michael J. Butler: Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. SBMF 2009: 134-152
	2008
c1		Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial: Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. ICFEM 2008: 25-44

Coauthor Index

1	Jean-Raymond Abrial	[c1]
2	Michael J. Butler	[c2] [c1]

Last update Sun May 26 10:12:43 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page