Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan. D-Finder 2: Towards Efficient Correctness of Incremental Design. In NASA Formal Methods,, Volume, Pages 453-458, 2011.
Axel Legay http://www.irisa.fr/distribcom
@InProceedings{NASA11,
Author = {Bensalem, Saddek and Griesmayer, Andreas and Legay, Axel and Nguyen, Thanh-Hung and Sifakis, Joseph and Yan, Rongjie},
Title = {D-Finder 2: Towards Efficient Correctness of Incremental Design},
BookTitle = {NASA Formal Methods},
Volume = {},
Pages = {453--458},
Series = {},
Publisher = {},
Year = {2011}
}
Get EndNote Reference (.ref)