Marrero W.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Partial Order Reductions for Security Protocol Verification	2000	Clarke E., Jha S., Marrero W.				Lecture Notes in Computer Science	26.04.2000
СТ	Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems	1995	Campos S., Clarke E., Marrero W., Minea M.				SIGPLAN Notices	25.12.1995