Thomas Anung Basuki

	2010
4		Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi: Modelling the Dynamics of an Aedes albopictus Population AMCA-POP 2010: 18-36
	2009
3		Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho: Modelling Cell Cycle using Different Levels of Representation MeCBIC 2009: 51-69
2		Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo: Translating Stochastic CLS into Maude. Electr. Notes Theor. Comput. Sci. 227: 37-58 (2009)
1		Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte: Model-checking user behaviour using interacting components. Formal Asp. Comput. 21(6): 571-588 (2009)

Coauthor Index

1	Roberto Barbuti	[4]
2	Rafael V. Carvalho	[3]
3	Antonio Cerone	[1] [2] [3] [4]
4	Andreas Griesmayer	[1]
5	Andrea Maggiolo-Schettini	[4]
6	Paolo Milazzo	[2] [4]
7	Elisabetta Rossi	[4]
8	Rudolf Schlatte	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page