Eintrag weiter verarbeiten
Online-Ressource

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften: Finkel, Alain (VerfasserIn), Leroux, Jérôme (Sonstige), Potapov, Igor (Sonstige)
Titel: Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings/ edited by Alain Finkel, Jérôme Leroux, Igor Potapov
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2012
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7550
Schlagwörter:
Computer software
Logic design
Computer Science
Computer systems > Verification > Congresses
Computer science
Software engineering
Machine theory.
Compilers (Computer programs).
Algorithms.
Numerical Analysis, Computer-Assisted > Congresses
Algorithms > Congresses
Konferenzschrift > 2012 > Bordeaux
Konferenzschrift
Buchausg. u.d.T.: Reachability problems, Berlin : Springer, 2012, XII, 148 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06346cam a22012972 4500
001 0-1651784655
003 DE-627
005 20240122105021.0
007 cr uuu---uuuuu
008 121010s2012 gw |||||o 00| ||eng c
020 |a 9783642335129  |9 978-3-642-33512-9 
024 7 |a 10.1007/978-3-642-33512-9  |2 doi 
035 |a (DE-627)1651784655 
035 |a (DE-576)37205059X 
035 |a (DE-599)BSZ37205059X 
035 |a (OCoLC)812052426 
035 |a (ZBM)1253.68011 
035 |a (ZBM)1253.68011 
035 |a (DE-He213)978-3-642-33512-9 
035 |a (EBP)040544966 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.9.L63  |a QA76.5913  |a QA76.63 
050 0 |a QA76.9.L63 
050 0 |a QA76.5913 
050 0 |a QA76.63 
050 0 |a QA76.76.V47 
060 0 |a 2012 H-910 
060 0 |a QA 76.76.V47 
072 7 |a UM  |2 bicssc 
072 7 |a UYF  |2 bicssc 
072 7 |a COM036000  |2 bisacsh 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UYA  |2 bicssc 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68Qxx  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.10  |2 bkl 
100 1 |a Finkel, Alain  |4 aut 
245 1 0 |a Reachability Problems  |b 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings  |c edited by Alain Finkel, Jérôme Leroux, Igor Potapov 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2012 
300 |a Online-Ressource (XII, 149 p. 31 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7550 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
520 |a Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification -- Finite- and infinite-state concurrent systems -- Computational models -- Decision procedures. 
520 |a This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games. 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer systems  |x Verification  |v Congresses 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Machine theory. 
650 0 |a Compilers (Computer programs). 
650 0 |a Algorithms. 
650 2 |a Numerical Analysis, Computer-Assisted  |v Congresses 
650 2 |a Algorithms  |v Congresses 
655 7 |a Konferenzschrift  |y 2012  |z Bordeaux  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4334087-8  |0 (DE-627)148293549  |0 (DE-576)211346004  |a Erreichbarkeit  |2 gnd 
689 0 1 |D s  |0 (DE-588)4411406-0  |0 (DE-627)211466646  |0 (DE-576)212167677  |a Erreichbarkeitsmenge  |2 gnd 
689 0 |5 DE-101 
700 1 |a Leroux, Jérôme  |4 oth 
700 1 |a Potapov, Igor  |4 oth 
776 1 |z 9783642335112 
776 0 8 |i Buchausg. u.d.T.  |t Reachability problems  |d Berlin : Springer, 2012  |h XII, 148 S.  |w (DE-627)722135084  |w (DE-576)380281619  |z 364233511X  |z 9783642335112 
830 0 |a Lecture notes in computer science  |v 7550  |9 7550  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-33512-9  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33512-9  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz37205059xcov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20130404105007  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1253.68011  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)728220431 
912 |a ZDB-2-LNC  |b 2012 
912 |a ZDB-2-SCS  |b 2012 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2012 
912 |a ZDB-2-SEB  |b 2012 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
950 |a 可达到性 
950 |a 可达性 
950 |a 可達到性 
950 |a 可達性 
950 |a Доступность 
950 |a Attainable set 
950 |a Reachable set 
950 |a Kontrollsystem 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33512-9  |9 DE-14 
852 |a DE-14  |x epn:3353732268  |z 2012-10-10T14:11:24Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33512-9  |9 DE-15 
852 |a DE-15  |x epn:3353732314  |z 2012-10-10T14:11:24Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33512-9  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3353732373  |z 2012-10-10T14:11:24Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33512-9  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:335373242X  |z 2012-10-10T14:11:24Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-33512-9  |9 DE-520 
852 |a DE-520  |x epn:3353732470  |z 2012-10-10T14:11:24Z 
980 |a 1651784655  |b 0  |k 1651784655  |o 37205059X 
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=Reachability+Problems%3A+6th+International+Workshop%2C+RP+2012%2C+Bordeaux%2C+France%2C+September+17-19%2C+2012.+Proceedings&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Reachability+Problems%3A+6th+International+Workshop%2C+RP+2012%2C+Bordeaux%2C+France%2C+September+17-19%2C+2012.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7550&rft.au=Finkel%2C+Alain&rft.pub=Springer&rft.edition=&rft.isbn=3642335128
SOLR
_version_ 1792253805907148800
access_facet Electronic Resources
author Finkel, Alain
author2 Leroux, Jérôme, Potapov, Igor
author2_role oth, oth
author2_variant j l jl, i p ip
author_facet Finkel, Alain, Leroux, Jérôme, Potapov, Igor
author_role aut
author_sort Finkel, Alain
author_variant a f af
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63, QA76.76.V47
callnumber-search QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63, QA76.76.V47
callnumber-sort QA 276.9 L63 Q A76 45913 Q A76 263
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification -- Finite- and infinite-state concurrent systems -- Computational models -- Decision procedures., This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.
ctrlnum (DE-627)1651784655, (DE-576)37205059X, (DE-599)BSZ37205059X, (OCoLC)812052426, (ZBM)1253.68011, (DE-He213)978-3-642-33512-9, (EBP)040544966
de15_date 2012-10-10T14:11:24Z
dech1_date 2012-10-10T14:11:24Z
doi_str_mv 10.1007/978-3-642-33512-9
era_facet 2012
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Erreichbarkeit, Erreichbarkeitsmenge
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2012 Bordeaux (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Congresses, Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Bordeaux
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7550
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1651784655
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2012
imprint_str_mv Berlin, Heidelberg: Springer, 2012
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1651784655
is_hierarchy_title Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
isbn 9783642335129
isbn_isn_mv 9783642335112, 364233511X
issn_isn_mv 1611-3349
kxp_id_str 1651784655
language English
last_indexed 2024-02-29T17:07:01.539Z
local_heading_facet_dezwi2 Computer software, Logic design, Computer Science, Computer systems, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Numerical Analysis, Computer-Assisted, Algorithms, Verification, Erreichbarkeit, Erreichbarkeitsmenge
marc024a_ct_mv 10.1007/978-3-642-33512-9
match_str finkel2012reachabilityproblems6thinternationalworkshoprp2012bordeauxfranceseptember17192012proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7550
oclc_num 812052426
physical Online-Ressource (XII, 149 p. 31 illus, digital)
publishDate 2012
publishDateSort 2012
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 37205059X
recordtype marcfinc
rsn_id_str_mv (DE-15)3171219
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7550
series2 Lecture Notes in Computer Science ; 7550, SpringerLink ; Bücher
source_id 0
spelling Finkel, Alain aut, Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings edited by Alain Finkel, Jérôme Leroux, Igor Potapov, Berlin, Heidelberg Springer 2012, Online-Ressource (XII, 149 p. 31 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7550, SpringerLink Bücher, Literaturangaben, Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification -- Finite- and infinite-state concurrent systems -- Computational models -- Decision procedures., This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games., Computer software, Logic design, Computer Science, Computer systems Verification Congresses, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Numerical Analysis, Computer-Assisted Congresses, Algorithms Congresses, Konferenzschrift 2012 Bordeaux (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4334087-8 (DE-627)148293549 (DE-576)211346004 Erreichbarkeit gnd, s (DE-588)4411406-0 (DE-627)211466646 (DE-576)212167677 Erreichbarkeitsmenge gnd, DE-101, Leroux, Jérôme oth, Potapov, Igor oth, 9783642335112, Buchausg. u.d.T. Reachability problems Berlin : Springer, 2012 XII, 148 S. (DE-627)722135084 (DE-576)380281619 364233511X 9783642335112, Lecture notes in computer science 7550 7550 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-33512-9 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-33512-9 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz37205059xcov.jpg V:DE-576 X:springer image/jpeg 20130404105007 Cover, https://zbmath.org/?q=an:1253.68011 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, (DE-627)728220431, http://dx.doi.org/10.1007/978-3-642-33512-9 DE-14, DE-14 epn:3353732268 2012-10-10T14:11:24Z, http://dx.doi.org/10.1007/978-3-642-33512-9 DE-15, DE-15 epn:3353732314 2012-10-10T14:11:24Z, http://dx.doi.org/10.1007/978-3-642-33512-9 DE-Ch1, DE-Ch1 epn:3353732373 2012-10-10T14:11:24Z, http://dx.doi.org/10.1007/978-3-642-33512-9 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:335373242X 2012-10-10T14:11:24Z, http://dx.doi.org/10.1007/978-3-642-33512-9 DE-520, DE-520 epn:3353732470 2012-10-10T14:11:24Z
spellingShingle Finkel, Alain, Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, Lecture notes in computer science, 7550, Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification -- Finite- and infinite-state concurrent systems -- Computational models -- Decision procedures., This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games., Computer software, Logic design, Computer Science, Computer systems Verification Congresses, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Numerical Analysis, Computer-Assisted Congresses, Algorithms Congresses, Konferenzschrift 2012 Bordeaux, Konferenzschrift, Erreichbarkeit, Erreichbarkeitsmenge
swb_id_str 37205059X
title Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
title_auth Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
title_full Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings edited by Alain Finkel, Jérôme Leroux, Igor Potapov
title_fullStr Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings edited by Alain Finkel, Jérôme Leroux, Igor Potapov
title_full_unstemmed Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings edited by Alain Finkel, Jérôme Leroux, Igor Potapov
title_in_hierarchy 7550. Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings (2012)
title_short Reachability Problems
title_sort reachability problems 6th international workshop rp 2012 bordeaux france september 17 19 2012 proceedings
title_sub 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
title_unstemmed Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
topic Computer software, Logic design, Computer Science, Computer systems Verification Congresses, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Numerical Analysis, Computer-Assisted Congresses, Algorithms Congresses, Konferenzschrift 2012 Bordeaux, Konferenzschrift, Erreichbarkeit, Erreichbarkeitsmenge
topic_facet Computer software, Logic design, Computer Science, Computer systems, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Numerical Analysis, Computer-Assisted, Algorithms, Verification, Konferenzschrift, Erreichbarkeit, Erreichbarkeitsmenge
url https://doi.org/10.1007/978-3-642-33512-9, http://dx.doi.org/10.1007/978-3-642-33512-9, https://swbplus.bsz-bw.de/bsz37205059xcov.jpg, https://zbmath.org/?q=an:1253.68011