Search results: Sage Journals

Restricted accessResearch articleFirst published November, 2004

ACTLS properties and Bounded Model Checking

Bożena Woźna

Fundamenta Informaticae

Restricted accessResearch articleFirst published June, 2002

Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae

Restricted accessResearch articleFirst published December, 2014

Bożena Woźna-Szcześniak, Andrzej Zbrzezny

Fundamenta Informaticae

Restricted accessResearch articleFirst published December, 2004

M. Kacprzak, A. Lomuscio, W. Penczek

Fundamenta Informaticae

Restricted accessResearch articleFirst published September, 2007

Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2016

Bożena Woźna-Szcześniak

Fundamenta Informaticae

Restricted accessResearch articleFirst published May, 2003

Wojciech Penczek, Alessio Lomuscio

Fundamenta Informaticae

Restricted accessResearch articleFirst published August, 2009

E. Moritz Hahn, Holger Hermanns, Björn Wachter [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published May, 2011

Artur Męski, Wojciech Penczek, Agata Półrola

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2012

Andrzej Zbrzezny

Fundamenta Informaticae