Verified Mobile Code Repository Simulator for the Intelligent Space

Istenes, Zoltán; Tejfel, Máté; Jeni, László A.

by Zoltán Istenes, Máté Tejfel, László A. Jeni

Abstract:

Reference:

Verified Mobile Code Repository Simulator for the Intelligent Space (Zoltán Istenes, Máté Tejfel, László A. Jeni), In 8th International Conference on Applied Informatics (ICAI), 2010.

Bibtex Entry:

@inproceedings{Istenes10ICAI,
	author = {Zolt{\'a}n Istenes and M{\'a}t{\'e} Tejfel and L{\'a}szl{\'o} A. Jeni},
	title = {Verified Mobile Code Repository Simulator for the Intelligent Space},
	year = {2010},
	booktitle = {8th International Conference on Applied Informatics (ICAI)},
	shortbooktitle={ICAI},
	abstract ={}
}