Petri nets based proofs of Ada 95 solution for preference control

Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre. Petri nets based proofs of Ada 95 solution for preference control. In 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong. pages 238-248, IEEE Computer Society, 1997. [doi]

Abstract

Abstract is missing.