Micha{\l} Nowacki

Identifiers

No identifiers captured yet.

Papers (1)

1. System level specification and verification using Concurrent State Machines and COSMA environment cs.SE · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Jacek Wytr\k{e}bowicz 1 shared papers
• Jerzy Mie\'scicki 1 shared papers
• Wiktor B. Daszczuk 1 shared papers