| 000 -LEADER |
|---|
| fixed length control field |
00380nam a2200097Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
180130s9999 xx 000 0 und d |
| 245 ## - TITLE STATEMENT |
|---|
| Statement of responsibility, etc |
Halle, Sylvain; Soucy-Boivin, Maxime |
| Title |
MapReduce for parallel trace validation of LTL properties |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Date of publication, distribution, etc |
2016 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
Book title: Cloud architecture and engineering--Acession number C20554; pages 163-178 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
CLOUD ARCHITECTURE |