1
0
0
(1 - 30 von 33
)
Peter Lammich - Figsharefigshare.com › authors › Peter_Lammich
figshare.com
Peter Lammich +Follow ... Peter Lammich's public data. We could not load the content. Retry. Hide footer.
authors:"Peter Lammich" - Search | Paperity
paperity.org
Paperity: the 1st multidisciplinary aggregator of Open Access journals & papers. Free fulltext PDF articles from hundreds of disciplines, all in one place
Author: Peter Lammich - EasyChaireasychair.org › publications › author
easychair.org
Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study · Joshua Bockenek, Peter Lammich, Yakoub Nemo… and Burkhart Wolff.
Lock Sensitive Analysis of Parallel Programs - Peter Lammich - Google...
books.google.de
Lock Sensitive Analysis of Parallel Programs. Front Cover. Peter Lammich. Universitäts- und Landesbibliothek der Westfälischen Wilhelms-Universität,
A Machine-Checked, Type-Safe Model of Java Concurrency : Language,...
books.google.de
The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other...
Computer Aided Verification: 21st International Conference, CAV
books.google.de
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in...
Peter Lammich - Archive of Formal Proofswww.isa-afp.org › authors › lammich
www.isa-afp.org
Homepages. http://www21.in.tum.de/~lammich. E-Mails. ed.mut.ni@hcimmal. Entries van Emde Boas Trees. by Thomas Ammer and Peter Lammich. Nov
Peter Lammich | XanEdu Customization Platform
www.academicpub.com
Author: Peter Lammich. Results. A decision procedure for detecting atomicity violations for communicating processes with locks Springer ...
Theory Subseq_Order
isabelle.in.tum.de
(* Title: HOL/Library/Subseq_Order.thy Author: Peter Lammich, Uni Muenster & - Author: Florian Haftmann, TU Muenchen Author: Tobias Nipkow ...
CONCUR Concurrency Theory: 18th International Conference,...
books.google.de
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three...
Interactive Theorem Proving: Third International Conference, ITP
books.google.de
Applying. Data. Refinement. for. Monadic. Programs. to. Hopcroft's. Algorithm. Peter Lammich and Thomas Tuerk TU München {peter.lammich ...
Static Analysis: 15th International Symposium, SAS 2008, Valencia,...
books.google.de
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July
Joshua Bockenek
figshare.com
Browse. Joshua Bockenek. Follow. 76item views. 21item downloads. 0citations. Co-workers & collaborators. Peter Lammich. Freek Verbeek. Binoy Ravindran ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.com.ua
This book is Open Access under a CC BY licence. The LNCS and proceedings set constitutes the proceedings of the 24th International Conference on...
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston,...
books.google.de
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May The 20 full...
Static Analysis: 15th International Symposium, SAS 2008, ...books.google.de › books
books.google.de
Monitors. Peter Lammich and Markus M ̈uller-Olm Institut für Informatik, Fachbereich Mathematik und Informatik Westfälische Wilhelms-Universität Münster ...
A Machine-Checked, Type-Safe Model of Java Concurrency : ...books.google.de › books
books.google.de
Springer, [91] Peter Lammich. Collections framework. In Gerwin Klein, Tobias Nipkow, and Lawrence C. Paulson, editors, The Archive of Formal Proofs.
Verified Software: Theories, Tools and Experiments: 6th International...
books.google.de
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and...
Klockhaus' kaufmännisches Handels- und Gewerbe-Adressbuch des...
books.google.de
DarlehnskassenWäsche- und Weisswarenverein , e . G. m . handlung . Korneck , Peter . Lammich . Kolonialwarenhandlungen . Baugeschäfte . Duda , Paul .
CONCUR Concurrency Theory: 18th International Conference, ...books.google.com › books
books.google.com
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures Peter Lammich and Markus M ̈uller-Olm Institut f ̈ur Informatik, ...
Computer Aided Verification: 21st International Conference, CAV ...books.google.com › books
books.google.com
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints Peter Lammich, Markus M ̈uller-Olm, and Alexander Wenner Institut f ̈ur ...
CONCUR Concurrency Theory: 18th International ...books.google.com › books
books.google.de
... Procedures Peter Lammich and Markus M ̈uller-Olm Institut f ̈ur Informatik, ... ̈alische Wilhelms-Universit ̈at M ̈unster , ...
Model Checking Software: 16th International SPIN Workshop, ...books.google.com › books
books.google.com
Westf ̈alische Wilhelms-Universit ̈at M ̈unster peter.lammich ... Processes with Locks Nicholas Kidd, Peter Lammich, Tayssir Touili, and Thomas Reps.
Interactive Theorem Proving: 4th International Conference, ITP 2013,...
books.google.de
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July...
Programming Languages and Systems: 19th European Symposium on...
books.google.de
... Andrew Gordon. Acknowledgement. We thank Markus M ̈uller-Olmand Peter Lammich for helpful discussions on the topic of dynamic pushdown networks.
NASA Formal Methods: 11th International Symposium, NFM 2019, ...books.google.com › books
books.google.ae
Marijn Heule, Benjamin Kiesl, Peter Lammich, Hans-Jörg Schurr, Petar Vukmirovic, and the anonymous reviewers suggested many textual improvements.
Computer Aided Verification: 21st International Conference, ...books.google.com › books
books.google.de
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints Peter Lammich, Markus Müller-Olm, and Alexander Wenner Institut für ...
Tools and Algorithms for the Construction and Analysis of Systems: ...books.google.com › books
books.google.com
The author would like to thank Adam Chlipala, Peter Lammich, and Tobias Nipkow for discussions and feedback during this project, and to the referees for ...
Tools and Algorithms for the Construction and Analysis of ...books.google.cz › books
books.google.cz
The author would like to thank Adam Chlipala, Peter Lammich, and Tobias Nipkow for discussions and feedback during this project, and to the referees for their ...
Model Checking Software: 16th International SPIN Workshop, Grenoble,...
books.google.de
125 Nicholas Kidd, Peter Lammich, Tayssir Touili, and Thomas Reps Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation Tim.
sortiert nach Relevanz / Datum