Chan W.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications	2000	Anderson R. J., Beame P., Chan W., Notkin D.				Lecture Notes in Computer Science	18.02.2000
СТ	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements	1998	Chan W., Anderson R. J., Beame P., Notkin D.				Software Engineering Notes	30.07.1998