2008 Forum on Specification, Verification and Design Languages > 118 - 123
Source
Abstract
Identifiers
book ISBN : | 978-1-4244-2264-7 |
book e-ISBN : | 978-1-4244-2265-4 , 978-1-4244-2266-1 |
DOI | 10.1109/FDL.2008.4641432 |
book ISBN : | 978-1-4244-2264-7 |
book e-ISBN : | 978-1-4244-2265-4 , 978-1-4244-2266-1 |
DOI | 10.1109/FDL.2008.4641432 |