@inproceedings{shreya_analysing_2017,
	title = {Analysing {MTL} {Properties} using {NuSMV} model checker},
	doi = {10/gh3pkh},
	language = {English},
	publisher = {IEEE},
	author = {Shreya, V and Nanda, Manju},
	year = {2017},
	keywords = {Electronics and Electrical Engineering, ⛔ No DOI found},
	pages = {817--820},
}

{"_id":"F3h8YC58ymnNaXswu","bibbaseid":"shreya-nanda-analysingmtlpropertiesusingnusmvmodelchecker-2017","author_short":["Shreya, V","Nanda, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Analysing MTL Properties using NuSMV model checker","doi":"10/gh3pkh","language":"English","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Shreya"],"firstnames":["V"],"suffixes":[]},{"propositions":[],"lastnames":["Nanda"],"firstnames":["Manju"],"suffixes":[]}],"year":"2017","keywords":"Electronics and Electrical Engineering, ⛔ No DOI found","pages":"817–820","bibtex":"@inproceedings{shreya_analysing_2017,\n\ttitle = {Analysing {MTL} {Properties} using {NuSMV} model checker},\n\tdoi = {10/gh3pkh},\n\tlanguage = {English},\n\tpublisher = {IEEE},\n\tauthor = {Shreya, V and Nanda, Manju},\n\tyear = {2017},\n\tkeywords = {Electronics and Electrical Engineering, ⛔ No DOI found},\n\tpages = {817--820},\n}\n\n","author_short":["Shreya, V","Nanda, M."],"key":"shreya_analysing_2017","id":"shreya_analysing_2017","bibbaseid":"shreya-nanda-analysingmtlpropertiesusingnusmvmodelchecker-2017","role":"author","urls":{},"keyword":["Electronics and Electrical Engineering","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["electronics and electrical engineering","⛔ no doi found"],"search_terms":["analysing","mtl","properties","using","nusmv","model","checker","shreya","nanda"],"title":"Analysing MTL Properties using NuSMV model checker","year":2017}