@inproceedings{HPDC-1994-Benslimane,
	author        = "Abderrahim Benslimane",
	booktitle     = "{Proceedings of the Third International Symposium on High Performance Parallel and Distributed Computing}",
	doi           = "10.1109/HPDC.1994.340236",
	isbn          = "0-8186-6395-2",
	pages         = "262--269",
	publisher     = "{IEEE}",
	title         = "{Deciding Boundedness for Systems of Two Communicating Finite State Machines}",
	year          = 1994,
}