Showing 1 - 2 results of 2 for search 'Ireneusz Olszewski', query time: 0.01s Refine Results
  1. 1
    Routing Algorithms for SDM Flexible Optical Networks

    Routing Algorithms for SDM Flexible Optical Networks by Ireneusz Olszewski, Ireneusz Szcześniak, Bożena Woźna-Szcześniak

    Published 2024-10-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Bounded Model Checking of Dense-Timed Deontic Interpreted Systems: A Satisfiability Modulo Theories Approach

    Bounded Model Checking of Dense-Timed Deontic Interpreted Systems: A Satisfiability Modulo Theories Approach by Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Ireneusz Olszewski

    Published 2025-02-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: