Adding symmetry reduction to UPPAAL

Adding symmetry reduction to UPPAAL

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: HENDRIKS, Martijn, BEHRMANN, Gerd, LARSEN, Kim, NIEBERT, Peter, VAANDRAGER, Frits
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Logical, boolean and switching functions
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 59
container_issue
container_start_page 46
container_title
container_volume
creator HENDRIKS, Martijn
BEHRMANN, Gerd
LARSEN, Kim
NIEBERT, Peter
VAANDRAGER, Frits
description
format Conference Proceeding
fullrecord <record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_15851358</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>15851358</sourcerecordid><originalsourceid>FETCH-LOGICAL-p115t-65cbe89365ce2e18fc23eb75435d4a1c747c5596c80f2072245aa116030105343</originalsourceid><addsrcrecordid>eNotjr1qwzAURkWTQp2fdzCUjgJdXV1JHk1ok4KhGZI5KLJcXGLHSO7gt6-hOd9wto_zxDLQABxRFQu2QlJCgjZAS5YJFJIXRuEL26b0I2ZQzhMZey3ruu2_8zR1XRjjlMdQ__qxvff5eM_Px2NZVhv23LhbCtuH1-z88X7aHXj1tf_clRUfAGjkmvw12AJnBxnANl5iuBpSSLVy4I0ynqjQ3opGCiOlIucA9FwHglDhmr39_w4ueXdrout9my5DbDsXpwuQJUCy-Ac7ZT0-</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Adding symmetry reduction to UPPAAL</title><source>Springer Books</source><creator>HENDRIKS, Martijn ; BEHRMANN, Gerd ; LARSEN, Kim ; NIEBERT, Peter ; VAANDRAGER, Frits</creator><creatorcontrib>HENDRIKS, Martijn ; BEHRMANN, Gerd ; LARSEN, Kim ; NIEBERT, Peter ; VAANDRAGER, Frits</creatorcontrib><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540216715</identifier><identifier>ISBN: 9783540216711</identifier><identifier>EISSN: 1611-3349</identifier><language>eng</language><publisher>Berlin: Springer</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Logical, boolean and switching functions ; Theoretical computing</subject><ispartof>Lecture notes in computer science, 2003, p.46-59</ispartof><rights>2004 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,776,780,785,786,4036,4037</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=15851358$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>HENDRIKS, Martijn</creatorcontrib><creatorcontrib>BEHRMANN, Gerd</creatorcontrib><creatorcontrib>LARSEN, Kim</creatorcontrib><creatorcontrib>NIEBERT, Peter</creatorcontrib><creatorcontrib>VAANDRAGER, Frits</creatorcontrib><title>Adding symmetry reduction to UPPAAL</title><title>Lecture notes in computer science</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Logical, boolean and switching functions</subject><subject>Theoretical computing</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540216715</isbn><isbn>9783540216711</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2003</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNotjr1qwzAURkWTQp2fdzCUjgJdXV1JHk1ok4KhGZI5KLJcXGLHSO7gt6-hOd9wto_zxDLQABxRFQu2QlJCgjZAS5YJFJIXRuEL26b0I2ZQzhMZey3ruu2_8zR1XRjjlMdQ__qxvff5eM_Px2NZVhv23LhbCtuH1-z88X7aHXj1tf_clRUfAGjkmvw12AJnBxnANl5iuBpSSLVy4I0ynqjQ3opGCiOlIucA9FwHglDhmr39_w4ueXdrout9my5DbDsXpwuQJUCy-Ac7ZT0-</recordid><startdate>2003</startdate><enddate>2003</enddate><creator>HENDRIKS, Martijn</creator><creator>BEHRMANN, Gerd</creator><creator>LARSEN, Kim</creator><creator>NIEBERT, Peter</creator><creator>VAANDRAGER, Frits</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2003</creationdate><title>Adding symmetry reduction to UPPAAL</title><author>HENDRIKS, Martijn ; BEHRMANN, Gerd ; LARSEN, Kim ; NIEBERT, Peter ; VAANDRAGER, Frits</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p115t-65cbe89365ce2e18fc23eb75435d4a1c747c5596c80f2072245aa116030105343</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Logical, boolean and switching functions</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>HENDRIKS, Martijn</creatorcontrib><creatorcontrib>BEHRMANN, Gerd</creatorcontrib><creatorcontrib>LARSEN, Kim</creatorcontrib><creatorcontrib>NIEBERT, Peter</creatorcontrib><creatorcontrib>VAANDRAGER, Frits</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>HENDRIKS, Martijn</au><au>BEHRMANN, Gerd</au><au>LARSEN, Kim</au><au>NIEBERT, Peter</au><au>VAANDRAGER, Frits</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Adding symmetry reduction to UPPAAL</atitle><btitle>Lecture notes in computer science</btitle><date>2003</date><risdate>2003</risdate><spage>46</spage><epage>59</epage><pages>46-59</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540216715</isbn><isbn>9783540216711</isbn><cop>Berlin</cop><pub>Springer</pub><tpages>14</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Lecture notes in computer science, 2003, p.46-59
issn 0302-9743
1611-3349
language eng
recordid cdi_pascalfrancis_primary_15851358
source Springer Books
subjects Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Logical, boolean and switching functions
Theoretical computing
title Adding symmetry reduction to UPPAAL
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-29T04%3A44%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Adding%20symmetry%20reduction%20to%20UPPAAL&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=HENDRIKS,%20Martijn&rft.date=2003&rft.spage=46&rft.epage=59&rft.pages=46-59&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540216715&rft.isbn_list=9783540216711&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E15851358%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true