DBLife: Eva Wilhelm
dblife.cs.wisc.edu
Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen. SPIN 2006, Web Search BibTeX Download: from DBLP and Google Scholar.
SCEASsceas.csd.auth.gr › php › search
sceas.csd.auth.gr
Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). [Citation Graph (0, 0)][DBLP] SPIN ...
Model Checking Software: 13th International SPIN Workshop, ...books.google.de › books
books.google.de
... Christian Topnik1, Eva Wilhelm1, Tiziana Margaria2, and Bernhard Steffen1 1 Universit ̈at Dortmund, FB Informatik, Lehrstuhl 5, Germany {christian.topnik, ...
CiteSeerX — jMosel: A Flexible Tool-Set for Monadic Second-Order...
citeseerx.ist.psu.edu
BibTeX @MISC{Topnik_jmosel:a, author = {Christian Topnik and Eva Wilhelm and Tiziana Margaria and Bernhard Steffen}, title = {jMosel: A Flexible Tool-Set for Monadic
Browse Title Index
journal.ub.tu-berlin.de
Tiziana Margaria, Bernhard Steffen, Christian Topnik. Volume 30: Graph and Model Transformation 2010, Formal Modeling of ...
Volume 30: Graph and Model Transformation 2010
journal.ub.tu-berlin.de
Tiziana Margaria, Bernhard Steffen, Christian Topnik PDF. Towards Theorem Proving Graph Grammars using Event-B. Leila Ribeiro , Fernando
DBLP Completing and Adapting Models of Biological...
dblp.cloudmining.net
Tiziana Margaria, Bernhard Steffen, Christian Topnik : Second-Order Value Numbering. ECEASST 30(): (2010). Read article -. Similar / Add to query.
jMosel: A Flexible Tool-Set for Monadic Second-Order Logic on Strings...
core.ac.uk
Christian Topnik, Eva Wilhelm, Tiziana Margaria and Bernhard Steffen ...
DBLife: Second-Order Value Numbering
dblife.cs.wisc.edu
Tiziana Margaria, Bernhard Steffen, Christian Topnik: Download: http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/439: Other: BibTeX PubZone:
DBLife: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)
dblife.cs.wisc.edu
Authors: Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen. Download: http://dx.doi.org _18. Other: BibTeX PubZone ...
All web results to the name "Christian Topnik"
T. Margaria STRESS '06 – Tiziana Margaria Chair of Service ...slideplayer.com › slide
slideplayer.com
... Dortmund/U. Potsdam: Tiziana Margaria, Bernhard Steffen Christian Kubczak (T), Stefan Naujokat (T) Marco Bakera (T), Christian Topnik (T) U. Malaga: Pedro ...
DBLP: Tiziana Margaria
vldbarc.org
Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). SPIN 2006: , no EE ...
SCEAS
sceas.csd.auth.gr
Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). [Citation Graph (0, 0)]
DataCite Search
search.datacite.org
Tiziana Margaria, Bernhard Steffen & Christian Topnik. Article published via European Association of Software Science and Technology. We present ...
XPLORE Library Catalog
xplore.xavier.edu
jMosel : a stand-alone tool and jABC plugin for M2L(str) / Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen, Model checking dynamic ...
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str) - Springer ...www.springerprofessional.de › ...
www.springerprofessional.de
Authors: Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen. Publisher: Springer Berlin Heidelberg. Published in: Model Checking Software.
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str ...www.springerprofessional.de › ...
www.springerprofessional.de
Autoren: Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen. Verlag: Springer Berlin Heidelberg. Erschienen in: Model Checking Software.
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)www.infona.pl › resource
www.infona.pl
... Plugin for M2L(Str). Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen · Details · Contributors · Bibliography · Quotations · Similar · Collections ...
Related search requests for Christian Topnik
| Daniel Kröger Tiziana Margaria Behzad Zibari | Chris Pietsch Sabine Ranft Martin Zimmer | Stephanie Booth Tantek Çelik Faruk Ates |
People Forename "Christian" (61446) Name "Topnik" (4) |
sorted by relevance / date