Rene David

• Discrete, continuous, and hybrid petri nets
• Le droit Anglais
• Random Testing of Digital Circuits