Ul-Haque, H. M. (2017). A formal approach to modelling and verification of context-aware systems.
Chicago Style (17th ed.) CitationUl-Haque, Hafiz Mahfooz. A Formal Approach to Modelling and Verification of Context-aware Systems. 2017.
MLA (9th ed.) CitationUl-Haque, Hafiz Mahfooz. A Formal Approach to Modelling and Verification of Context-aware Systems. 2017.
Warning: These citations may not always be 100% accurate.