Formal methods in architecture: proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2021]
|
| Schriftenreihe: | Advances in science, technology & innovation
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FAW01 FFW01 FHD01 FHM01 TUM01 UBA01 UBG01 UBM01 UBT01 UBW01 UEI01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource (xxxii, 313 Seiten) Illustrationen |
| ISBN: | 9783030575090 |
| DOI: | 10.1007/978-3-030-57509-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV047135893 | ||
| 003 | DE-604 | ||
| 005 | 20221024 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 210211s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9783030575090 |c Online |9 978-3-030-57509-0 | ||
| 024 | 7 | |a 10.1007/978-3-030-57509-0 |2 doi | |
| 035 | |a (ZDB-2-EES)9783030575090 | ||
| 035 | |a (OCoLC)1237589220 | ||
| 035 | |a (DE-599)BVBBV047135893 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-1028 |a DE-1046 |a DE-384 |a DE-M347 |a DE-188 |a DE-703 |a DE-473 |a DE-1050 |a DE-20 |a DE-739 |a DE-634 |a DE-824 | ||
| 082 | 0 | |a 720 |2 23 | |
| 084 | |a GEO 000 |2 stub | ||
| 084 | |a UMW 000 |2 stub | ||
| 111 | 2 | |a International Symposium on Formal Methods in Architecture |n 5. |d 2020 |c Lissabon |j Verfasser |0 (DE-588)1271050986 |4 aut | |
| 245 | 1 | 0 | |a Formal methods in architecture |b proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 |c Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2021] | |
| 264 | 4 | |c © 2021 | |
| 300 | |a 1 Online-Ressource (xxxii, 313 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in science, technology & innovation | |
| 650 | 4 | |a Architecture, general | |
| 650 | 4 | |a Landscape/Regional and Urban Planning | |
| 650 | 4 | |a Civil Engineering | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Mathematics, general | |
| 650 | 4 | |a Architecture | |
| 650 | 4 | |a Regional planning | |
| 650 | 4 | |a Urban planning | |
| 650 | 4 | |a Civil engineering | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Mathematics | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z Lissabon |2 gnd-content | |
| 700 | 1 | |a Eloy, Sara |4 edt | |
| 700 | 1 | |a Viana, David Leite |0 (DE-588)1157017576 |4 edt | |
| 700 | 1 | |a Morais, Franklim |0 (DE-588)1157017606 |4 edt | |
| 700 | 1 | |a Vaz, Jorge Vieira |0 (DE-588)1157017649 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-57508-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-57510-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-57511-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-57509-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-EES | ||
| 940 | 1 | |q ZDB-2-EES_2021 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032541924 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l BTU01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l FAW01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l FFW01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l FHD01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l FHM01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l TUM01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l UBA01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l UBG01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l UBM01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l UBT01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l UBW01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l UEI01 |p ZDB-2-EES |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-57509-0 |l UPA01 |p ZDB-2-EES |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182191864807424 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Eloy, Sara Viana, David Leite Morais, Franklim Vaz, Jorge Vieira |
| author2_role | edt edt edt edt |
| author2_variant | s e se d l v dl dlv f m fm j v v jv jvv |
| author_GND | (DE-588)1157017576 (DE-588)1157017606 (DE-588)1157017649 |
| author_corporate | International Symposium on Formal Methods in Architecture Lissabon |
| author_corporate_role | aut |
| author_facet | Eloy, Sara Viana, David Leite Morais, Franklim Vaz, Jorge Vieira International Symposium on Formal Methods in Architecture Lissabon |
| author_sort | International Symposium on Formal Methods in Architecture Lissabon |
| building | Verbundindex |
| bvnumber | BV047135893 |
| classification_tum | GEO 000 UMW 000 |
| collection | ZDB-2-EES |
| ctrlnum | (ZDB-2-EES)9783030575090 (OCoLC)1237589220 (DE-599)BVBBV047135893 |
| dewey-full | 720 |
| dewey-hundreds | 700 - The arts |
| dewey-ones | 720 - Architecture |
| dewey-raw | 720 |
| dewey-search | 720 |
| dewey-sort | 3720 |
| dewey-tens | 720 - Architecture |
| discipline | Geowissenschaften Architektur Umwelt |
| discipline_str_mv | Geowissenschaften Architektur Umwelt |
| doi_str_mv | 10.1007/978-3-030-57509-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03675nmm a2200769 c 4500</leader><controlfield tag="001">BV047135893</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221024 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">210211s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030575090</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-57509-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-57509-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-EES)9783030575090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1237589220</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047135893</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-824</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">720</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">GEO 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">UMW 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Formal Methods in Architecture</subfield><subfield code="n">5.</subfield><subfield code="d">2020</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1271050986</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in architecture</subfield><subfield code="b">proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020</subfield><subfield code="c">Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxxii, 313 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advances in science, technology & innovation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Architecture, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Landscape/Regional and Urban Planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Civil Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Regional planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Urban planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Civil engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2020</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eloy, Sara</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite</subfield><subfield code="0">(DE-588)1157017576</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim</subfield><subfield code="0">(DE-588)1157017606</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaz, Jorge Vieira</subfield><subfield code="0">(DE-588)1157017649</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-57508-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-57510-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-57511-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-EES</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-EES_2021</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032541924</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FFW01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2020 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2020 Lissabon |
| id | DE-604.BV047135893 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:33:58Z |
| indexdate | 2024-07-10T09:03:38Z |
| institution | BVB |
| institution_GND | (DE-588)1271050986 |
| isbn | 9783030575090 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032541924 |
| oclc_num | 1237589220 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1028 DE-1046 DE-384 DE-M347 DE-188 DE-703 DE-473 DE-BY-UBG DE-1050 DE-20 DE-739 DE-634 DE-824 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1028 DE-1046 DE-384 DE-M347 DE-188 DE-703 DE-473 DE-BY-UBG DE-1050 DE-20 DE-739 DE-634 DE-824 |
| physical | 1 Online-Ressource (xxxii, 313 Seiten) Illustrationen |
| psigel | ZDB-2-EES ZDB-2-EES_2021 |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer |
| record_format | marc |
| series2 | Advances in science, technology & innovation |
| spelling | International Symposium on Formal Methods in Architecture 5. 2020 Lissabon Verfasser (DE-588)1271050986 aut Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora Cham, Switzerland Springer [2021] © 2021 1 Online-Ressource (xxxii, 313 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Advances in science, technology & innovation Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics (DE-588)1071861417 Konferenzschrift 2020 Lissabon gnd-content Eloy, Sara edt Viana, David Leite (DE-588)1157017576 edt Morais, Franklim (DE-588)1157017606 edt Vaz, Jorge Vieira (DE-588)1157017649 edt Erscheint auch als Druck-Ausgabe 978-3-030-57508-3 Erscheint auch als Druck-Ausgabe 978-3-030-57510-6 Erscheint auch als Druck-Ausgabe 978-3-030-57511-3 https://doi.org/10.1007/978-3-030-57509-0 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics |
| subject_GND | (DE-588)1071861417 |
| title | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 |
| title_auth | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 |
| title_exact_search | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 |
| title_exact_search_txtP | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 |
| title_full | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora |
| title_fullStr | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora |
| title_full_unstemmed | Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora |
| title_short | Formal methods in architecture |
| title_sort | formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture 5fma lisbon 2020 |
| title_sub | proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 |
| topic | Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics |
| topic_facet | Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics Konferenzschrift 2020 Lissabon |
| url | https://doi.org/10.1007/978-3-030-57509-0 |
| work_keys_str_mv | AT internationalsymposiumonformalmethodsinarchitecturelissabon formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT eloysara formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT vianadavidleite formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT moraisfranklim formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT vazjorgevieira formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 |