Miguel Abdalla

	1999
1		Miguel Abdalla, Ferhat Khendek, Greg Butler: New results on deriving SDL specifications from MSCs. SDL Forum 1999: 51-66

Coauthor Index

1	Gregory Butler (Greg Butler)	[1]
2	Ferhat Khendek	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page