MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Rafal Somla" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Temporal Logic Of Processes
by Rafal Somla — 1999
…TEMPORAL LOGIC OF PROCESSES RAFA/L SOMLA Abstract. In many so called interactive applications we…
Add To MetaCart

Parallel Model Checking for LTL, CTL*, and L²μ
by Martin Leucker, Rafal Somla, Michael Weber — 2003
… Rafa#l Somla 2 IT Department Uppsala University Uppsala, Sweden Michael Weber 3 Lehrstuhl fur…
Add To MetaCart

Finite Completeness of Categories of Petri Nets
by Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla — 2000
….bednarczyk,a.borzyszkowski}@(email omitted); Rafa#l Somla Institute of Mathematics, Gdansk University Wita Stwosza 57, 80-952 Gdansk, Poland email…
Cited by 3 (2 self) – Add To MetaCart

Equalizing Morphisms of Petri Nets
by Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla, Ekwalizacja Morfizmw, Sieciach Petriego — 1999 — In Proc. Workshop on Concurrency, Specification & Programming
… , and Rafal/ Somla 2 1 Institute of Computer Science, Gda#sk Branch, Polish Acad. of Sc. Abrahama 18, 81…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB