Formal model refinement for complex biological systems

Muhammad Usman Sanwal

Research output: Types of Thesis › Doctoral Thesis › Collection of Articles

Abstract

Original language	English
Supervisors/Advisors	Petre, Luigia, Supervisor Petre, Ion, Supervisor
Place of Publication	Åbo, Finland
Publisher	Åbo Akademi University
Print ISBNs	978-952-12-3925-0
Electronic ISBNs	978-952-12-3926-7
Publication status	Published - 2020
MoE publication type	G5 Doctoral dissertation (article)

@phdthesis{a301dc679f9540b1874d749c65d64b15,

title = "Formal model refinement for complex biological systems",

keywords = "biological models, Modeling",

author = "Sanwal, {Muhammad Usman}",

note = "Sammanfattningsdel + 4 artiklar. P{\aa} titelsidan {\"a}ven: Faculty of Science and Engineering, {\AA}bo Akademi University.",

year = "2020",

language = "English",

isbn = "978-952-12-3925-0 ",

publisher = "{\AA}bo Akademi University",

}

TY - BOOK

T1 - Formal model refinement for complex biological systems

AU - Sanwal , Muhammad Usman

N1 - Sammanfattningsdel + 4 artiklar. På titelsidan även: Faculty of Science and Engineering, Åbo Akademi University.

PY - 2020

Y1 - 2020

KW - biological models

KW - Modeling

M3 - Doctoral Thesis

SN - 978-952-12-3925-0

PB - Åbo Akademi University

CY - Åbo, Finland

ER -