Verifying temporal properties of systems with applications to petri nets:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
Univ. of Edinburgh, Dep. of Computer Science
1991
|
| Schriftenreihe: | University <Edinburgh> / Department of Computer Science: Thesis
83 |
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 102 - 106. - Zugl.: Edinburgh, Univ., Diss., 1990 |
| Beschreibung: | V, 110 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005485202 | ||
| 003 | DE-604 | ||
| 005 | 19951023 | ||
| 007 | t | ||
| 008 | 920820s1991 m||| 00||| eng d | ||
| 035 | |a (OCoLC)475813475 | ||
| 035 | |a (DE-599)BVBBV005485202 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 516d |2 stub | ||
| 088 | |a CST 83 91 | ||
| 088 | |a ECS LFCS 91 172 | ||
| 100 | 1 | |a Bradfield, Julian |d 1964- |e Verfasser |0 (DE-588)124001629 |4 aut | |
| 245 | 1 | 0 | |a Verifying temporal properties of systems with applications to petri nets |c Julian Charles Bradfield |
| 246 | 1 | 3 | |a CST 83 91 |
| 246 | 1 | 3 | |a ECS LFCS 91 172 |
| 264 | 1 | |a Edinburgh |b Univ. of Edinburgh, Dep. of Computer Science |c 1991 | |
| 300 | |a V, 110 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Computer Science: Thesis |v 83 | |
| 500 | |a Literaturverz. S. 102 - 106. - Zugl.: Edinburgh, Univ., Diss., 1990 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 810 | 2 | |a Department of Computer Science: Thesis |t University <Edinburgh> |v 83 |w (DE-604)BV008928181 |9 83 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003434061 | ||
Datensatz im Suchindex
| _version_ | 1804119699697434624 |
|---|---|
| any_adam_object | |
| author | Bradfield, Julian 1964- |
| author_GND | (DE-588)124001629 |
| author_facet | Bradfield, Julian 1964- |
| author_role | aut |
| author_sort | Bradfield, Julian 1964- |
| author_variant | j b jb |
| building | Verbundindex |
| bvnumber | BV005485202 |
| classification_tum | DAT 516d |
| ctrlnum | (OCoLC)475813475 (DE-599)BVBBV005485202 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01243nam a2200349 cb4500</leader><controlfield tag="001">BV005485202</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951023 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920820s1991 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)475813475</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005485202</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CST 83 91</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">ECS LFCS 91 172</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bradfield, Julian</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124001629</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifying temporal properties of systems with applications to petri nets</subfield><subfield code="c">Julian Charles Bradfield</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">CST 83 91</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ECS LFCS 91 172</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="b">Univ. of Edinburgh, Dep. of Computer Science</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 110 S.</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">University <Edinburgh> / Department of Computer Science: Thesis</subfield><subfield code="v">83</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 102 - 106. - Zugl.: Edinburgh, Univ., Diss., 1990</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Thesis</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">83</subfield><subfield code="w">(DE-604)BV008928181</subfield><subfield code="9">83</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003434061</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV005485202 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:30:21Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003434061 |
| oclc_num | 475813475 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | V, 110 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Univ. of Edinburgh, Dep. of Computer Science |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Computer Science: Thesis |
| spelling | Bradfield, Julian 1964- Verfasser (DE-588)124001629 aut Verifying temporal properties of systems with applications to petri nets Julian Charles Bradfield CST 83 91 ECS LFCS 91 172 Edinburgh Univ. of Edinburgh, Dep. of Computer Science 1991 V, 110 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Computer Science: Thesis 83 Literaturverz. S. 102 - 106. - Zugl.: Edinburgh, Univ., Diss., 1990 (DE-588)4113937-9 Hochschulschrift gnd-content Department of Computer Science: Thesis University <Edinburgh> 83 (DE-604)BV008928181 83 |
| spellingShingle | Bradfield, Julian 1964- Verifying temporal properties of systems with applications to petri nets |
| subject_GND | (DE-588)4113937-9 |
| title | Verifying temporal properties of systems with applications to petri nets |
| title_alt | CST 83 91 ECS LFCS 91 172 |
| title_auth | Verifying temporal properties of systems with applications to petri nets |
| title_exact_search | Verifying temporal properties of systems with applications to petri nets |
| title_full | Verifying temporal properties of systems with applications to petri nets Julian Charles Bradfield |
| title_fullStr | Verifying temporal properties of systems with applications to petri nets Julian Charles Bradfield |
| title_full_unstemmed | Verifying temporal properties of systems with applications to petri nets Julian Charles Bradfield |
| title_short | Verifying temporal properties of systems with applications to petri nets |
| title_sort | verifying temporal properties of systems with applications to petri nets |
| topic_facet | Hochschulschrift |
| volume_link | (DE-604)BV008928181 |
| work_keys_str_mv | AT bradfieldjulian verifyingtemporalpropertiesofsystemswithapplicationstopetrinets AT bradfieldjulian cst8391 AT bradfieldjulian ecslfcs91172 |