Searching for "Implementing Influence Analysis Using Parameterised Boolean Equation Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Implementing Influence Analysis using Parameterised Boolean Equation Systems
by María Del Mar Gallardo, Christophe Joubert, Pedro Merino — 2006 — In: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISOLA’06 (Paphos, Cyprus), IEEE Computer Society Press
…Implementing Influence Analysis using Parameterised Boolean Equation Systems María del Mar…
Cited by 7 (5 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB