C PolvandeJ.

发表

Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings

Graeme Smith, Judi Romijn, C PolvandeJ., 2005, IFM.

Just-in-time : on strategy annotations

C PolvandeJ., 2001 .

Two solutions to incorporate zero, successor and equality in binary decision diagrams

Bahareh Badban, C PolvandeJ., B. Badban, 2002 .

An Algorithm to Verify Formulas by means of (O,S,=)-BDDs

Bahareh Badban, C PolvandeJ., 2004 .