Rafal Mrowka

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Information Retrieval

Multiresolution

Top Venues

Fundam. Informaticae

Publications

Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka, Leszek Kotulski
System Layer. Fundam. Informaticae 129 (1-2) (2014)
Marcin Szpyrka, Piotr Matyasik, Rafal Mrowka
Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS. ECMS (2011)
Rafal Mrowka, Tomasz Szmuc
UML Statecharts Compositional Semantics in LOTOS. ISPDC (2008)