Fang, Y., Piterman, N., Pnueli, A. & Zuck, L.,
2004,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.).
Springer Verlag,
p. 482-496 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).
Research output: Chapter in Book/Report/Conference proceeding › Chapter