Verification of linear hybrid systems by means of convex approximations

DOI Web Site 被引用文献1件

収録刊行物

Static Analysis

Static Analysis 223-237, 1994

Springer Berlin Heidelberg

被引用文献 (1)*注記

もっと見る

詳細情報詳細情報について

CRID

1362544419263547392
DOI

10.1007/3-540-58485-4_43
ISSN

16113349

03029743
Web Site

http://link.springer.com/content/pdf/10.1007/3-540-58485-4_43
データソース種別
- Crossref

書き出し

問題の指摘

ページトップへ