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

Publications by Name	Publications by Date	Authors	Literature
A-D E-O P-T U-Z	before 1995 1995-1999 2000-2004 2005-2009 2010-	A B C D E F G H I J K L M N O P Q R S T U V W X Y Z	A B C D E F G H I J K L M N O P Q R S T U V W X Y Z