Sciweavers

ATVA
2007
Springer

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications

13 years 9 months ago
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich,
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ATVA
Authors Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Comments (0)