All Stories

  1. Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets

    Article • ACM Transactions on Embedded Computing Systems, January 2013, ACM (Association for Computing Machinery)

    Hanifa Boucheneb