Printer Friendly

Browse Qasim, Awais; Kazmi, Syed Asad Raza; Fakhir, Ilyas

1-1 out of 1 article(s)
Title Type Date Words
Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets. Aug 1, 2015 4509

Terms of use | Privacy policy | Copyright © 2019 Farlex, Inc. | Feedback | For webmasters