- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Modeling and verification of randomized distributed real-time systems
CiNii
Available at 1 libraries
Bibliographic Information
- Title
- "Modeling and verification of randomized distributed real-time systems"
- Statement of Responsibility
- Segala, Roberto
- Publisher
-
- [Segala, Roberto]
- Publication Year
-
- 1995
- Book size
- 11×15 cm
- Format
- microform(microfiche)
Search this Book/Journal
- Tweet
Details 詳細情報について
-
- CRID
- 1130000794069772544
-
- NII Book ID
- BB03760806
-
- Text Lang
- en
-
- Country Code
- xx
-
- Title Language Code
- en
-
- Place of Publication
-
- [S.l.]
-
- Data Source
-
- CiNii Books