Leucker M.

Автор:

Вид	Название	Год	Автор	Серия	Источник	Дата поступления
СТ	Local Parallel Model Checking for the Alternation-Free mu-Calculus	2002	Bollig B., Leucker M., Weber M.		Lecture Notes in Computer Science	01.05.2002
СТ	Model Checking Probabilistic Distributed Systems	2003	Bollig B., Leucker M.		Lecture Notes in Computer Science	14.01.2004
СТ	"Don t Know" in the Mu-Calculus	2005	Grumberg O., Lange M., Leucker M., Sholam Sh.	Lecture Notes in Computer Science	Lecture Notes in Computer Science	23.03.2005
СТ	Don t Know in Probabilistic Systems	2006	Fecher H., Leucker M., Wolf V.	Lecture Notes in Computer Science	Lecture Notes in Computer Science	23.05.2006

Вид	Название	Год	Серия	Редакторы	Источник	Дата поступления
СБ	Model-Based Testing of Reactive Systems: Advanced Lectures	2005	Lecture Notes in Computer Science	Broy M. Jonsson B. Leucker M. Katoen Et Al J. -P.		30.07.2005
СБ	Formal Methods: Applications and Technology: Revised Selected Papers/11th Intl WS FMICS 2006 & 5th Intl WS PDMC 2006. Bonn, Germany, August 2006	2006	Lecture Notes in Computer Science	Brim L. Haverkort B. Leucker M. Van De Pol J.		27.03.2007
СБ	Runtime Verification: Selected Papers/8th International Workshop, RV 2008. Budapest, Hungary, March 2008	2008	Lecture Notes in Computer Science	Leucker M.		03.03.2009
СБ	Theoretical Aspects of Computing - ICTAC 2009: Proc./6th International Colloquium. Kuala Lumpur, Malaysia, August 2009	2009	Lecture Notes in Computer Science	Leucker M. Morgan C.		11.08.2009
СБ	Theoretical Aspects of Computing - ICTAC 2015: Proc./12th International Colloquium, Cali, Colombia, October 2015	2015	Lecture Notes in Computer Science	Leucker M. Rueda C. Valencia F. D.		05.05.2016
СБ	Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday	2021	Lecture Notes in Computer Science	Bartocci E. Falcone Y. Leucker M.	20911	28.10.2021