1
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “... Billion SMT Queries a Day (Invited Paper) -- 1 Introduction -- 2 Eliminate Writing Specifications -- 2...”
Click to View
2
by Brandt, Pierre-Yves.
Published 2023
Format:
Published 2023
Table of Contents: “... and Domain-Specific Information -- The Importance of Testimony in Children's Development of Various Concepts...”
Click to View
3
by Sakakibara, Yasubumi.
Published 2009
Format:
Published 2009
Table of Contents: “... -- 3. Quantification of Gene-Gene Functional Association -- 3.1. Stochastic Model for Gene Arrangement....”
Click to View
4
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....3 Model Checking for First-Order Quantification -- 5.4 Bidirectional Model Checking -- 5.5 Computing Under...”
Click to View
5
by Shi, Wenzhong.
Published 2021
Format:
Published 2021
Table of Contents: “....4.2 Quantification of Model Performance -- 12.4.3 Replication of Specific Freight and Non-Freight-Vehicle Tours -- 12...”
Click to View


