CONCUR 2013 -- Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Arge…
2013 Kartoniert, 576 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng Fast track conference proceedingsUnique visibilityState of the art researchThis book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, A…
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, Londo…
2012 Kartoniert, 280 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Fast-track conference proceedingsState-of-the-art researchUp-to-date resultsThis book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held…
Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach
von Agata Pólrola, Wojciech Penczek
2010 Kartoniert, 292 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Presents a comprehensive introduction to timed automata and time Petri nets Presents existing methods of translating time Petri nets to timed automataThis monograph presents a comprehensive introduction to timed automata (TA) an…
Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach
von Agata Pólrola, Wojciech Penczek
2006 Gebunden, 292 Seiten, 241mm x 160mm x 21mm, Sprache(n): eng Presents a comprehensive introduction to timed automata and time Petri netsPresents existing methods of translating time Petri nets to timed automataThis monograph presents a comprehensive introduction to timed automata (TA) and ti…
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, Jul…
2019 Kartoniert, 696 Seiten, 235mm x 155mm x 38mm, Sprache(n): eng This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full pap…
Software Composition - 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- J…
2012 Kartoniert, 208 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng Unique visibilityFast track conference proccedingsState of the art researchThe book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in Ma…
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, ME…
2012 Kartoniert, 228 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng High quality selected papersUnique visibilityState of the art researchThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods…
Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Pro…
2017 Kartoniert, 212 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presente…
Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Flore…
2014 Kartoniert, 264 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014. The 17 revised full papers presented…
Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Pr…
2014 Kartoniert, 268 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25…
- Volltext
- timedautomata
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!