Buchi

Results: 132



#Item
1Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy

Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2015-10-21 13:25:41
2¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie Bertrand

¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie Bertrand

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2013-09-13 06:06:33
    3Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

    Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

    Add to Reading List

    Source URL: i12www.ira.uka.de

    Language: German - Date: 2014-01-23 09:48:02
      4Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

      Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

      Add to Reading List

      Source URL: i12www.ira.uka.de

      Language: German - Date: 2013-02-06 04:03:46
        5Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

        Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

        Add to Reading List

        Source URL: i12www.ira.uka.de

        Language: German - Date: 2014-01-23 09:47:58
          6Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

          Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

          Add to Reading List

          Source URL: i12www.ira.uka.de

          Language: German - Date: 2012-01-26 11:31:35
            7MUSTERBRIEF SEPTEMBER 2014 ANKER TEPPICHBÖDEN von BÜCHI Boden Handel GmbH Teppichböden hatten in den letzten Jahrzehnten einen schweren Stand in Bemusterungen. Eigentlich zu unrecht, da sich auf dem Gebiet auch punkto

            MUSTERBRIEF SEPTEMBER 2014 ANKER TEPPICHBÖDEN von BÜCHI Boden Handel GmbH Teppichböden hatten in den letzten Jahrzehnten einen schweren Stand in Bemusterungen. Eigentlich zu unrecht, da sich auf dem Gebiet auch punkto

            Add to Reading List

            Source URL: www.baumuster.ch

            Language: German - Date: 2014-09-12 09:53:19
              8GW170814: OSSERVAZIONE DELLE ONDE GRAVITAZIONALI DALLA COALESCENZA DI DUE BUCHI NERI CON TRE RIVELATORI L’evento GW170814 è la quarta osservazione confermata di onde gravitazionali riportata dalle collaboraz

              GW170814: OSSERVAZIONE DELLE ONDE GRAVITAZIONALI DALLA COALESCENZA DI DUE BUCHI NERI CON TRE RIVELATORI L’evento GW170814 è la quarta osservazione confermata di onde gravitazionali riportata dalle collaboraz

              Add to Reading List

              Source URL: public.virgo-gw.eu

              Language: Italian - Date: 2017-10-18 07:45:47
                9Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                Add to Reading List

                Source URL: i12www.ira.uka.de

                Language: German - Date: 2014-01-31 07:17:00
                  10Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                  Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                  Add to Reading List

                  Source URL: i12www.ira.uka.de

                  Language: German - Date: 2014-01-31 07:16:57