Holdings: Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems: third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2005
Series:	Lecture Notes in Computer Science 3829
Subjects:	Zeitbehafteter Automat Formale Methode Zeitdiskretes System Temporale Logik Zeitbewertetes Petri-Netz Formale Semantik Hybrides System Konferenzschrift > 2005 > Uppsala
Online Access:	Inhaltsverzeichnis
Physical Description:	IX, 303 S. Ill., graph. Darst.
ISBN:	9783540309468 3540309462

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV021283717
003	DE-604
005	20101007
007	t\|
008	060109s2005 gw ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 05,N50,0020 \|2 dnb
016	7		\|a 977134385 \|2 DE-101
020			\|a 9783540309468 \|9 978-3-540-30946-8
020			\|a 3540309462 \|c : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.) \|9 3-540-30946-2
024	3		\|a 9783540309468
028	5	2	\|a 11603009
035			\|a (OCoLC)634537282
035			\|a (DE-599)BVBBV021283717
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-739 \|a DE-91G \|a DE-83 \|a DE-11 \|a DE-706
084			\|a DAT 510f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
245	1	0	\|a Formal modeling and analysis of timed systems \|b third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers \|c Paul Pettersson ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2005
300			\|a IX, 303 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 3829
650	0	7	\|a Zeitbehafteter Automat \|0 (DE-588)4713349-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zeitdiskretes System \|0 (DE-588)4127297-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Temporale Logik \|0 (DE-588)4137542-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zeitbewertetes Petri-Netz \|0 (DE-588)4545188-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Semantik \|0 (DE-588)4122144-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hybrides System \|0 (DE-588)4510314-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2005 \|z Uppsala \|2 gnd-content
689	0	0	\|a Zeitdiskretes System \|0 (DE-588)4127297-3 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Zeitbehafteter Automat \|0 (DE-588)4713349-1 \|D s
689	1	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Hybrides System \|0 (DE-588)4510314-8 \|D s
689	2	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2		\|5 DE-604
689	3	0	\|a Temporale Logik \|0 (DE-588)4137542-7 \|D s
689	3	1	\|a Formale Semantik \|0 (DE-588)4122144-8 \|D s
689	3		\|5 DE-604
689	4	0	\|a Zeitbewertetes Petri-Netz \|0 (DE-588)4545188-6 \|D s
689	4	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	4		\|5 DE-604
700	1		\|a Pettersson, Paul \|e Sonstige \|4 oth
711	2		\|a FORMATS \|n 3 \|d 2005 \|c Uppsala \|j Sonstige \|0 (DE-588)10123567-7 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 3829 \|w (DE-604)BV000000607 \|9 3829
856	4	2	\|m Digitalisierung UBPassau \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014604673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-014604673

Record in the Search Index

_version_	1820874979355394048
adam_text	Table of Contents Invited Talk Modular Performance Analysis of Distributed Embedded Systems Lothar Thiele . 1 Logic and Specification Real. Time Temporal Logic: Past, Present, Future Oded Translating Timed I/O Automata Specifications for Theorem Proving in PVS Hongping Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams Atle Refsdal, Times Games and Synthesis On Optimal Timed Strategies Thomas Brihaye, Average Reward Timed Games Bo Thomas Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness Gerd Invited Talk Verification of Parameterized Timed Systems Parosh Aziz Abdulla Model Checking Model Checking the Time to Reach Agreement Hendriks. 98 VIII Table of Contents Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems Patricia Bouyer, A New Verification Procedure for Partially Clairvoyant Scheduling K. Subramani, D. Desovski Invited Talk Timing Analysis and Simulation Tools for Real-Time Control KarUErik Hybrid Systems Automatic Rectangular Refinement of Laurent Doyen, Thomas A. Henzinger, Reachability Problems on Extended O-Minimal Hybrid Automata Raffaella Gentilini Counterexamples for Timed Probabilistic Reachability Husain Aljazzar, Holger Hermanns, Stefan Petri Nets Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets Thomas Comparison of the Expressiveness of Timed Automata and Time Petri Nets Beatrice Olivier Semantics Quantifying Similarities Between Timed Systems Thomas A. Henzinger, Rupak Majumdar, - Performance of Pipelined Asynchronous Systems Flavio Table of Is Timed Branching BMmilarity an Equivalence Indeed? Wan FokMnk, Jun Pang, Anton Wijs Semantics and Modelling Implementation of Timed Automata: An Issue of Semantics or Modeling? Karine Altisen, Stavros Tripakis Timed Abstract Non-interference Roberto Giacobazzi, Isabella Mastroeni Author Index
adam_txt	Table of Contents Invited Talk Modular Performance Analysis of Distributed Embedded Systems Lothar Thiele . 1 Logic and Specification Real. Time Temporal Logic: Past, Present, Future Oded Translating Timed I/O Automata Specifications for Theorem Proving in PVS Hongping Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams Atle Refsdal, Times Games and Synthesis On Optimal Timed Strategies Thomas Brihaye, Average Reward Timed Games Bo Thomas Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness Gerd Invited Talk Verification of Parameterized Timed Systems Parosh Aziz Abdulla Model Checking Model Checking the Time to Reach Agreement Hendriks. 98 VIII Table of Contents Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems Patricia Bouyer, A New Verification Procedure for Partially Clairvoyant Scheduling K. Subramani, D. Desovski Invited Talk Timing Analysis and Simulation Tools for Real-Time Control KarUErik Hybrid Systems Automatic Rectangular Refinement of Laurent Doyen, Thomas A. Henzinger, Reachability Problems on Extended O-Minimal Hybrid Automata Raffaella Gentilini Counterexamples for Timed Probabilistic Reachability Husain Aljazzar, Holger Hermanns, Stefan Petri Nets Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets Thomas Comparison of the Expressiveness of Timed Automata and Time Petri Nets Beatrice Olivier Semantics Quantifying Similarities Between Timed Systems Thomas A. Henzinger, Rupak Majumdar, - Performance of Pipelined Asynchronous Systems Flavio Table of Is Timed Branching BMmilarity an Equivalence Indeed? Wan FokMnk, Jun Pang, Anton Wijs Semantics and Modelling Implementation of Timed Automata: An Issue of Semantics or Modeling? Karine Altisen, Stavros Tripakis Timed Abstract Non-interference Roberto Giacobazzi, Isabella Mastroeni Author Index
any_adam_object	1
any_adam_object_boolean	1
building	Verbundindex
bvnumber	BV021283717
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 550f
ctrlnum	(OCoLC)634537282 (DE-599)BVBBV021283717
discipline	Informatik
discipline_str_mv	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV021283717</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101007</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">060109s2005 gw ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N50,0020</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">977134385</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540309468</subfield><subfield code="9">978-3-540-30946-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540309462</subfield><subfield code="c">: EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)</subfield><subfield code="9">3-540-30946-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540309468</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11603009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634537282</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021283717</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal modeling and analysis of timed systems</subfield><subfield code="b">third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers</subfield><subfield code="c">Paul Pettersson ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 303 S.</subfield><subfield code="b">Ill., 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">Lecture Notes in Computer Science</subfield><subfield code="v">3829</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2005</subfield><subfield code="z">Uppsala</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zeitdiskretes System</subfield><subfield code="0">(DE-588)4127297-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Zeitbehafteter Automat</subfield><subfield code="0">(DE-588)4713349-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Zeitbewertetes Petri-Netz</subfield><subfield code="0">(DE-588)4545188-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pettersson, Paul</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FORMATS</subfield><subfield code="n">3</subfield><subfield code="d">2005</subfield><subfield code="c">Uppsala</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10123567-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3829</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3829</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014604673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014604673</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2005 Uppsala gnd-content
genre_facet	Konferenzschrift 2005 Uppsala
id	DE-604.BV021283717
illustrated	Illustrated
index_date	2024-07-02T13:47:53Z
indexdate	2025-01-10T15:08:19Z
institution	BVB
institution_GND	(DE-588)10123567-7
isbn	9783540309468 3540309462
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014604673
oclc_num	634537282
open_access_boolean
owner	DE-739 DE-91G DE-BY-TUM DE-83 DE-11 DE-706
owner_facet	DE-739 DE-91G DE-BY-TUM DE-83 DE-11 DE-706
physical	IX, 303 S. Ill., graph. Darst.
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.) Berlin [u.a.] Springer 2005 IX, 303 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3829 Zeitbehafteter Automat (DE-588)4713349-1 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Zeitdiskretes System (DE-588)4127297-3 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Uppsala gnd-content Zeitdiskretes System (DE-588)4127297-3 s Formale Methode (DE-588)4333722-3 s DE-604 Zeitbehafteter Automat (DE-588)4713349-1 s Hybrides System (DE-588)4510314-8 s Temporale Logik (DE-588)4137542-7 s Formale Semantik (DE-588)4122144-8 s Zeitbewertetes Petri-Netz (DE-588)4545188-6 s Pettersson, Paul Sonstige oth FORMATS 3 2005 Uppsala Sonstige (DE-588)10123567-7 oth Lecture Notes in Computer Science 3829 (DE-604)BV000000607 3829 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014604673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Lecture Notes in Computer Science Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Formale Semantik (DE-588)4122144-8 gnd Hybrides System (DE-588)4510314-8 gnd
subject_GND	(DE-588)4713349-1 (DE-588)4333722-3 (DE-588)4127297-3 (DE-588)4137542-7 (DE-588)4545188-6 (DE-588)4122144-8 (DE-588)4510314-8 (DE-588)1071861417
title	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers
title_auth	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers
title_exact_search	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers
title_exact_search_txtP	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers
title_full	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.)
title_fullStr	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.)
title_full_unstemmed	Formal modeling and analysis of timed systems third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers Paul Pettersson ... (eds.)
title_short	Formal modeling and analysis of timed systems
title_sort	formal modeling and analysis of timed systems third international conference formats 2005 uppsala sweden september 26 28 2005 revised selected papers
title_sub	third International Conference, FORMATS 2005, Uppsala, Sweden, September 26 - 28, 2005 ; revised selected papers
topic	Zeitbehafteter Automat (DE-588)4713349-1 gnd Formale Methode (DE-588)4333722-3 gnd Zeitdiskretes System (DE-588)4127297-3 gnd Temporale Logik (DE-588)4137542-7 gnd Zeitbewertetes Petri-Netz (DE-588)4545188-6 gnd Formale Semantik (DE-588)4122144-8 gnd Hybrides System (DE-588)4510314-8 gnd
topic_facet	Zeitbehafteter Automat Formale Methode Zeitdiskretes System Temporale Logik Zeitbewertetes Petri-Netz Formale Semantik Hybrides System Konferenzschrift 2005 Uppsala
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014604673&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT petterssonpaul formalmodelingandanalysisoftimedsystemsthirdinternationalconferenceformats2005uppsalaswedenseptember26282005revisedselectedpapers AT formatsuppsala formalmodelingandanalysisoftimedsystemsthirdinternationalconferenceformats2005uppsalaswedenseptember26282005revisedselectedpapers

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items