書誌事項
- 公開日
- 2004-09
- 権利情報
-
- https://www.springernature.com/gp/researchers/text-and-data-mining
- https://www.springernature.com/gp/researchers/text-and-data-mining
- DOI
-
- 10.1023/b:form.0000040025.89719.f3
- 公開者
- Springer Science and Business Media LLC
この論文をさがす
収録刊行物
-
- Formal Methods in System Design
-
Formal Methods in System Design 25 (2-3), 105-127, 2004-09
Springer Science and Business Media LLC