CVC Lite: A New Implementation of the Cooperating Validity Checker

DOI Web Site 1 Citations

Bibliographic Information

Other Title

Category B

Journal

Lecture Notes in Computer Science

Lecture Notes in Computer Science 515-518, 2004

Springer Berlin Heidelberg

Citations (1)*help

See more

Details 詳細情報について

CRID

1362825894741050496
DOI

10.1007/978-3-540-27813-9_49
ISSN

16113349

03029743
Web Site

http://link.springer.com/content/pdf/10.1007/978-3-540-27813-9_49
Data Source
- Crossref

Export

Report a problem

Back to top