{. Dobrzański, и L. Kuzniarz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, стр. 1273--1279. New York, NY, USA, ACM Press, (2006)
H. Fekih, L. Ayed, и S. Merz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, стр. 1840--1844. New York, NY, USA, ACM Press, (2006)
D. Harel, и S. Maoz. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, стр. 13--20. New York, NY, USA, ACM Press, (2006)
H. Liang, J. Dingel, и Z. Diskin. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, стр. 5--12. New York, NY, USA, ACM Press, (2006)
Lukasz Dobrza'nski, и L. Kuzniarz. SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, стр. 1273--1279. New York, NY, USA, ACM Press, (2006)