Search alternatives:
"finder" » "finden", "findet"

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Case Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized...

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Assisted with Model Transformation By-Example: A Practical Case -- geneSetFinder: A Multiagent Architecture...