Jacek Wytr\k{e}bowicz

Identifiers

No identifiers captured yet.

Papers (2)

1. System level specification and verification using Concurrent State Machines and COSMA environment cs.SE · 2017 · author #4
2. System Modeling in the COSMA Environment cs.DC · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Jerzy Mie\'scicki 2 shared papers
• Wiktor B. Daszczuk 2 shared papers
• Micha{\l} Nowacki 1 shared papers
• Waldemar Grabski 1 shared papers