IPS

Results: 1731



#Item
121

S YNTHESISING P ERSISTENT P ETRI N ETS Eike Best Carl von Ossietzky Universität Oldenburg, DOldenburg, Germany Königswinter, August 7–9, 2013

Add to Reading List

Source URL: www.ips.tu-braunschweig.de

- Date: 2013-08-23 04:38:51
    122

    Implicit complexity in concurrent λ-calculi Roberto M. Amadio Universit´e Paris Diderot (Paris 7) K¨ onigswinter, August 2013

    Add to Reading List

    Source URL: www.ips.tu-braunschweig.de

    - Date: 2013-08-13 02:41:30
      123

      MIA 2.0: Richer Interface Automata with Optimistic and Pessimistic Compatibility Gerald Lüttgen Software Technologies Research Group University of Bamberg, Germany (Joint work with Walter Vogler, University of Augs

      Add to Reading List

      Source URL: www.ips.tu-braunschweig.de

      - Date: 2013-08-13 02:39:12
        124

        INVESTOR PORTFOLIO SERVICE (IPS) – ONLINE USER GUIDE HELPING HAND. It’s important to keep a close eye on your investments, so we do all we can to lend a helping hand. That’s why we’ve put together this step-by-s

        Add to Reading List

        Source URL: www.onlineips.co.uk

        - Date: 2016-12-05 13:27:36
          125

          Modal Interface Automata Gerald Lüttgen Universität Bamberg TCS 2012 Amsterdam

          Add to Reading List

          Source URL: www.ips.tu-braunschweig.de

          - Date: 2013-08-13 02:39:13
            126

            Synchronisation Patterns for Distributability in Process Calculi πm πs πa

            Add to Reading List

            Source URL: www.ips.tu-braunschweig.de

            - Date: 2013-08-13 02:41:33
              127

              Structural Transformations for Data-Enriched Real-Time-Sytems Ernst-Rudiger ¨ Olderog &

              Add to Reading List

              Source URL: www.ips.tu-braunschweig.de

              - Date: 2013-08-13 02:39:12
                128

                Causality, Composition, and the Security of Cyberphysical Systems Sibylle Fr¨ oschle OFFIS & University of Oldenburg

                Add to Reading List

                Source URL: www.ips.tu-braunschweig.de

                - Date: 2013-08-13 02:42:33
                  129

                  Background Web-service preorders Axiomatisations

                  Add to Reading List

                  Source URL: www.ips.tu-braunschweig.de

                  - Date: 2013-08-13 02:41:30
                    130

                    Contents Context: the Octopus Project Parametrized Partial Orders Translation to Uppaal Case Study and Experiments Conclusions and Future Work

                    Add to Reading List

                    Source URL: www.ips.tu-braunschweig.de

                    - Date: 2013-08-13 02:39:13
                      UPDATE