@article {FAOC2016_MolnarEtAl,
	author = {Vince Moln\'ar and Andr\'as V\"or\"os and D\'aniel Darvas and Tam\'as Bartha and Istv\'an Majzik},
	title = {Component-wise Incremental {LTL} Model Checking},
	year = {2016},
	journal = {Formal Aspects of Computing},
	volume = {28},
	number = {3},
	pages = {345-379},
	url = {http://link.springer.com/article/10.1007/s00165-015-0347-x},
	doi = {10.1007/s00165-015-0347-x},
	issn = {0934-5043},
	bib-link = {FAOC2016_MolnarEtAl.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/FAOC2015_MolnarEtAl.pdf},
	mtmt = {3025948},
}