BibTeX Export

@inproceedings{Authenticus:P-00M-YM5,
	title = {{Inhabitation machines: determinism and principality}},
	author = {Sandra Alves and Sabine Broda},
	booktitle = {Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.},
	pages = {57-70},
	publisher = {Österreichische Computer Gesellschaft},
	type = {Proceedings Paper},
	year = {2017}
}