Łukasz Mikulski

Zdefiniowanie i zbadanie własności systemu powiązanych ze sobą modeli dla procesów współbieżnych spełniającego tylko najbardziej ogólny paradygmat w semantyce krokowej (cykl publikacji) (Zdefiniowanie i zbadanie własności systemu powiązanych ze sobą modeli dla procesów współbieżnych spełniającego tylko najbardziej ogólny paradygmat w semantyce krokowej (cykl publikacji))

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Status

Odrzucona

Recenzenci

prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Volker Diekert (Uniwersytet w Stattgarcie)

Dokumenty

• Uchwała