A. Qasim, S. A. R. Kazmi, I. Fakhir, "Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets," Advances in Electrical and Computer Engineering, vol.15, no.3, pp.73-78, 2015, doi:10.4316/AECE.2015.03010
Citation Format:
AECE
Elsevier
Harvard
IEEE
Oxford
Springer
Wiley