SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H
বিন্যাস:	Conference item
প্রকাশিত:	Springer−Verlag 2010

অনুরূপ উপাদানগুলি