Antonio Linares

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

Ask others: ACM DL/Guide -

	2011
j1		María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: A practical use of model checking for synthesis: generating a dam controller for flood management. Softw., Pract. Exper. 41(11): 1329-1347 (2011)
	2009
c2		María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Developing a Decision Support Tool for Dam Management with SPIN. FMICS 2009: 210-212
c1		María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131

Coauthor Index

1	María-del-Mar Gallardo	[j1] [c2] [c1]
2	Pedro Merino (Pedro Merino Gómez)	[j1] [c2] [c1]
3	Laura Panizo	[j1] [c2] [c1]

Last update Sun May 26 06:58:35 2013 CET by the DBLP Team —

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