Publications

Publications

Department DCS - Academic Staff
Email naveed.ahmed@cs.uol.edu.pk
Paper TitleFormal Modeling of ATC Signals using Z Notation
CategoryConferences
TypeConference Paper
Sub Title
Book Title
Publication Date//2012
Issue
Page No.
Book Acronym
ISSN/DOI/ISBN
HEC Category
Impact Factor