Login / Signup

A Path-based Equivalence Checking Method for Petri Net based Models of Programs.

Soumyadip BandyopadhyayDipankar SarkarKunal BanerjeeChittaranjan A. Mandal
Published in: ICSOFT-EA (2015)
Keyphrases