検索結果 - Neele, Thomas

  • 検索結果 1 - 1 結果 / 1
結果の絞り込み
  1. 1

    Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /

    出版事項 2025
    全文の入手
    Remote access required. Check library.juniv.edu
    電子媒体 eBook
    Source: Springer Nature