Bogdan D. Czejdo

Identifiers

No identifiers captured yet.

Papers (2)

1. Verification of Concurrent Engineering Software Using CSM Models cs.SE · 2017 · author #4
2. Concurrent Software Design Based on Constraints on State Diagrams cs.SE · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Jerzy Mie\'scicki 2 shared papers
• Wiktor B. Daszczuk 2 shared papers
• Miko{\l}aj Baszun 1 shared papers