Publications

Publications

Department DCS - Academic Staff
Email mudasser.naseer@cs.uol.edu.pk
Paper TitleTowards Z Specification of Place Transition Nets
CategoryPublication
TypeJournal Article
Sub Title
Book TitleVFAST Transactions on Software Engineering
Publication Date1/3/2015
Issue2
Page No.
Book Acronym
ISSN/DOI/ISBN
HEC Category
Impact Factor