Specifying concurrent system in object Z: A case study of house alarm

M Ashraf, AM Hoque, Tareq Rasul, M. Ashraf, H.B. Ali

Research output: Contribution to conference › Conference paper › peer-review

Original language	English
Publication status	Published - 23 Dec 2003
Event	6th International Conference on Computer and Information Technology - Jahangirnagar University, Dhaka, Bangladesh Duration: 23 Dec 2003 → 25 Dec 2003

Conference	6th International Conference on Computer and Information Technology
Abbreviated title	ICCIT
Country/Territory	Bangladesh
City	Dhaka
Period	23/12/03 → 25/12/03

Cite this

@conference{dca4c68cb3554abd9e41f457ef8cde15,

title = "Specifying concurrent system in object Z: A case study of house alarm",

author = "M Ashraf and AM Hoque and Tareq Rasul and M. Ashraf and H.B. Ali",

year = "2003",

month = dec,

day = "23",

language = "English",

note = "6th International Conference on Computer and Information Technology, ICCIT ; Conference date: 23-12-2003 Through 25-12-2003",

}