Publications

Publications

Department DCS - Academic Staff
Email tabbasum.naz@cs.uol.edu.pk
Paper TitleFormal Analysis and verification of Arrival Procedure of an Aircraft using Petri nets
CategoryPublication
TypeJournal Article
Sub Title
Book Title
Publication Date//2013
Issue
Page No.
Book Acronym
ISSN/DOI/ISBN
HEC Category
Impact Factor