Eintrag weiter verarbeiten
Proof Score Approach to Verification of Liveness Properties
Gespeichert in:
| Zeitschriftentitel: | IEICE Transactions on Information and Systems |
|---|---|
| Personen und Körperschaften: | , |
| In: | IEICE Transactions on Information and Systems, E91-D, 2008, 12, S. 2804-2817 |
| Format: | E-Article |
| Sprache: | Englisch |
| veröffentlicht: |
Institute of Electronics, Information and Communications Engineers (IEICE)
|
| Schlagwörter: |
| author_facet |
OGATA, K. FUTATSUGI, K. OGATA, K. FUTATSUGI, K. |
|---|---|
| author |
OGATA, K. FUTATSUGI, K. |
| spellingShingle |
OGATA, K. FUTATSUGI, K. IEICE Transactions on Information and Systems Proof Score Approach to Verification of Liveness Properties Artificial Intelligence Electrical and Electronic Engineering Computer Vision and Pattern Recognition Hardware and Architecture Software |
| author_sort |
ogata, k. |
| spelling |
OGATA, K. FUTATSUGI, K. 0916-8532 1745-1361 Institute of Electronics, Information and Communications Engineers (IEICE) Artificial Intelligence Electrical and Electronic Engineering Computer Vision and Pattern Recognition Hardware and Architecture Software http://dx.doi.org/10.1093/ietisy/e91-d.12.2804 Proof Score Approach to Verification of Liveness Properties IEICE Transactions on Information and Systems |
| doi_str_mv |
10.1093/ietisy/e91-d.12.2804 |
| facet_avail |
Online Free |
| finc_class_facet |
Informatik Technik Mathematik Physik |
| format |
ElectronicArticle |
| fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTA5My9pZXRpc3kvZTkxLWQuMTIuMjgwNA |
| id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTA5My9pZXRpc3kvZTkxLWQuMTIuMjgwNA |
| institution |
DE-Gla1 DE-Zi4 DE-15 DE-Rs1 DE-Pl11 DE-105 DE-14 DE-Ch1 DE-L229 DE-D275 DE-Bn3 DE-Brt1 DE-Zwi2 DE-D161 |
| imprint |
Institute of Electronics, Information and Communications Engineers (IEICE), 2008 |
| imprint_str_mv |
Institute of Electronics, Information and Communications Engineers (IEICE), 2008 |
| issn |
1745-1361 0916-8532 |
| issn_str_mv |
1745-1361 0916-8532 |
| language |
English |
| mega_collection |
Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) |
| match_str |
ogata2008proofscoreapproachtoverificationoflivenessproperties |
| publishDateSort |
2008 |
| publisher |
Institute of Electronics, Information and Communications Engineers (IEICE) |
| recordtype |
ai |
| record_format |
ai |
| series |
IEICE Transactions on Information and Systems |
| source_id |
49 |
| title |
Proof Score Approach to Verification of Liveness Properties |
| title_unstemmed |
Proof Score Approach to Verification of Liveness Properties |
| title_full |
Proof Score Approach to Verification of Liveness Properties |
| title_fullStr |
Proof Score Approach to Verification of Liveness Properties |
| title_full_unstemmed |
Proof Score Approach to Verification of Liveness Properties |
| title_short |
Proof Score Approach to Verification of Liveness Properties |
| title_sort |
proof score approach to verification of liveness properties |
| topic |
Artificial Intelligence Electrical and Electronic Engineering Computer Vision and Pattern Recognition Hardware and Architecture Software |
| url |
http://dx.doi.org/10.1093/ietisy/e91-d.12.2804 |
| publishDate |
2008 |
| physical |
2804-2817 |
| description |
|
| container_issue |
12 |
| container_start_page |
2804 |
| container_title |
IEICE Transactions on Information and Systems |
| container_volume |
E91-D |
| format_de105 |
Article, E-Article |
| format_de14 |
Article, E-Article |
| format_de15 |
Article, E-Article |
| format_de520 |
Article, E-Article |
| format_de540 |
Article, E-Article |
| format_dech1 |
Article, E-Article |
| format_ded117 |
Article, E-Article |
| format_degla1 |
E-Article |
| format_del152 |
Buch |
| format_del189 |
Article, E-Article |
| format_dezi4 |
Article |
| format_dezwi2 |
Article, E-Article |
| format_finc |
Article, E-Article |
| format_nrw |
Article, E-Article |
| _version_ |
1792333854243028995 |
| geogr_code |
not assigned |
| last_indexed |
2024-03-01T14:19:22.861Z |
| geogr_code_person |
not assigned |
| openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Proof+Score+Approach+to+Verification+of+Liveness+Properties&rft.date=2008-12-01&genre=article&issn=1745-1361&volume=E91-D&issue=12&spage=2804&epage=2817&pages=2804-2817&jtitle=IEICE+Transactions+on+Information+and+Systems&atitle=Proof+Score+Approach+to+Verification+of+Liveness+Properties&aulast=FUTATSUGI&aufirst=K.&rft_id=info%3Adoi%2F10.1093%2Fietisy%2Fe91-d.12.2804&rft.language%5B0%5D=eng |
| SOLR | |
| _version_ | 1792333854243028995 |
| author | OGATA, K., FUTATSUGI, K. |
| author_facet | OGATA, K., FUTATSUGI, K., OGATA, K., FUTATSUGI, K. |
| author_sort | ogata, k. |
| container_issue | 12 |
| container_start_page | 2804 |
| container_title | IEICE Transactions on Information and Systems |
| container_volume | E91-D |
| description | |
| doi_str_mv | 10.1093/ietisy/e91-d.12.2804 |
| facet_avail | Online, Free |
| finc_class_facet | Informatik, Technik, Mathematik, Physik |
| format | ElectronicArticle |
| format_de105 | Article, E-Article |
| format_de14 | Article, E-Article |
| format_de15 | Article, E-Article |
| format_de520 | Article, E-Article |
| format_de540 | Article, E-Article |
| format_dech1 | Article, E-Article |
| format_ded117 | Article, E-Article |
| format_degla1 | E-Article |
| format_del152 | Buch |
| format_del189 | Article, E-Article |
| format_dezi4 | Article |
| format_dezwi2 | Article, E-Article |
| format_finc | Article, E-Article |
| format_nrw | Article, E-Article |
| geogr_code | not assigned |
| geogr_code_person | not assigned |
| id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTA5My9pZXRpc3kvZTkxLWQuMTIuMjgwNA |
| imprint | Institute of Electronics, Information and Communications Engineers (IEICE), 2008 |
| imprint_str_mv | Institute of Electronics, Information and Communications Engineers (IEICE), 2008 |
| institution | DE-Gla1, DE-Zi4, DE-15, DE-Rs1, DE-Pl11, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161 |
| issn | 1745-1361, 0916-8532 |
| issn_str_mv | 1745-1361, 0916-8532 |
| language | English |
| last_indexed | 2024-03-01T14:19:22.861Z |
| match_str | ogata2008proofscoreapproachtoverificationoflivenessproperties |
| mega_collection | Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) |
| physical | 2804-2817 |
| publishDate | 2008 |
| publishDateSort | 2008 |
| publisher | Institute of Electronics, Information and Communications Engineers (IEICE) |
| record_format | ai |
| recordtype | ai |
| series | IEICE Transactions on Information and Systems |
| source_id | 49 |
| spelling | OGATA, K. FUTATSUGI, K. 0916-8532 1745-1361 Institute of Electronics, Information and Communications Engineers (IEICE) Artificial Intelligence Electrical and Electronic Engineering Computer Vision and Pattern Recognition Hardware and Architecture Software http://dx.doi.org/10.1093/ietisy/e91-d.12.2804 Proof Score Approach to Verification of Liveness Properties IEICE Transactions on Information and Systems |
| spellingShingle | OGATA, K., FUTATSUGI, K., IEICE Transactions on Information and Systems, Proof Score Approach to Verification of Liveness Properties, Artificial Intelligence, Electrical and Electronic Engineering, Computer Vision and Pattern Recognition, Hardware and Architecture, Software |
| title | Proof Score Approach to Verification of Liveness Properties |
| title_full | Proof Score Approach to Verification of Liveness Properties |
| title_fullStr | Proof Score Approach to Verification of Liveness Properties |
| title_full_unstemmed | Proof Score Approach to Verification of Liveness Properties |
| title_short | Proof Score Approach to Verification of Liveness Properties |
| title_sort | proof score approach to verification of liveness properties |
| title_unstemmed | Proof Score Approach to Verification of Liveness Properties |
| topic | Artificial Intelligence, Electrical and Electronic Engineering, Computer Vision and Pattern Recognition, Hardware and Architecture, Software |
| url | http://dx.doi.org/10.1093/ietisy/e91-d.12.2804 |