Petri net based verification of communication protocols specified by language means:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Iir
1989
|
| Schriftenreihe: | Informatik, Information, Reporte
1989,2 |
| Beschreibung: | Literaturverz. S. 37 - 44 |
| Beschreibung: | 52 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001860147 | ||
| 003 | DE-604 | ||
| 005 | 19920213 | ||
| 007 | t | ||
| 008 | 890703s1989 d||| |||| 00||| ger d | ||
| 035 | |a (OCoLC)75076459 | ||
| 035 | |a (DE-599)BVBBV001860147 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-523 |a DE-B1550 | ||
| 100 | 1 | |a Heiner, Monika |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Petri net based verification of communication protocols specified by language means |c Monika Heiner. Akad. d. Wiss. d. DDR, Inst. für Informatik u. Rechentechnik |
| 264 | 1 | |a Berlin |b Iir |c 1989 | |
| 300 | |a 52 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Informatik, Information, Reporte |v 1989,2 | |
| 500 | |a Literaturverz. S. 37 - 44 | ||
| 830 | 0 | |a Informatik, Information, Reporte |v 1989,2 |w (DE-604)BV001897791 |9 1989,2 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001230638 | ||
Datensatz im Suchindex
| _version_ | 1804116324425662464 |
|---|---|
| any_adam_object | |
| author | Heiner, Monika |
| author_facet | Heiner, Monika |
| author_role | aut |
| author_sort | Heiner, Monika |
| author_variant | m h mh |
| building | Verbundindex |
| bvnumber | BV001860147 |
| ctrlnum | (OCoLC)75076459 (DE-599)BVBBV001860147 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00950nam a2200277 cb4500</leader><controlfield tag="001">BV001860147</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920213 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890703s1989 d||| |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75076459</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001860147</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-523</subfield><subfield code="a">DE-B1550</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heiner, Monika</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri net based verification of communication protocols specified by language means</subfield><subfield code="c">Monika Heiner. Akad. d. Wiss. d. DDR, Inst. für Informatik u. Rechentechnik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Iir</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">52 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Informatik, Information, Reporte</subfield><subfield code="v">1989,2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 37 - 44</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Informatik, Information, Reporte</subfield><subfield code="v">1989,2</subfield><subfield code="w">(DE-604)BV001897791</subfield><subfield code="9">1989,2</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001230638</subfield></datafield></record></collection> |
| id | DE-604.BV001860147 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:36:42Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001230638 |
| oclc_num | 75076459 |
| open_access_boolean | |
| owner | DE-523 DE-B1550 |
| owner_facet | DE-523 DE-B1550 |
| physical | 52 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Iir |
| record_format | marc |
| series | Informatik, Information, Reporte |
| series2 | Informatik, Information, Reporte |
| spelling | Heiner, Monika Verfasser aut Petri net based verification of communication protocols specified by language means Monika Heiner. Akad. d. Wiss. d. DDR, Inst. für Informatik u. Rechentechnik Berlin Iir 1989 52 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Informatik, Information, Reporte 1989,2 Literaturverz. S. 37 - 44 Informatik, Information, Reporte 1989,2 (DE-604)BV001897791 1989,2 |
| spellingShingle | Heiner, Monika Petri net based verification of communication protocols specified by language means Informatik, Information, Reporte |
| title | Petri net based verification of communication protocols specified by language means |
| title_auth | Petri net based verification of communication protocols specified by language means |
| title_exact_search | Petri net based verification of communication protocols specified by language means |
| title_full | Petri net based verification of communication protocols specified by language means Monika Heiner. Akad. d. Wiss. d. DDR, Inst. für Informatik u. Rechentechnik |
| title_fullStr | Petri net based verification of communication protocols specified by language means Monika Heiner. Akad. d. Wiss. d. DDR, Inst. für Informatik u. Rechentechnik |
| title_full_unstemmed | Petri net based verification of communication protocols specified by language means Monika Heiner. Akad. d. Wiss. d. DDR, Inst. für Informatik u. Rechentechnik |
| title_short | Petri net based verification of communication protocols specified by language means |
| title_sort | petri net based verification of communication protocols specified by language means |
| volume_link | (DE-604)BV001897791 |
| work_keys_str_mv | AT heinermonika petrinetbasedverificationofcommunicationprotocolsspecifiedbylanguagemeans |