๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 5311 || Decidable Compositions of O-Minimal Automata

โœ Scribed by Cha, Sungdeok (Steve); Choi, Jin-Young; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh

Book ID
118012770
Publisher
Springer Berlin Heidelberg
Year
2008
Weight
351 KB
Category
Article
ISBN
3540883878

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 6996 || Algorithms for Synthesizing Priorities in Component-Based Systems
โœ Bultan, Tevfik; Hsiung, Pao-Ann ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 409 KB

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, wer

[Lecture Notes in Computer Science] Leve
[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Volume 7609 || Learning Techniques for Software Verification and Validation
โœ Margaria, Tiziana; Steffen, Bernhard ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 70 KB

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic