Marijana Lazic - Bücher - alle Infos bei Yasni.de

(1 - 8 von 8

)

Automated Technology for Verification and Analysis: 18th ...books.google.co.in › books

books.google.co.in

... Marijana Lazic Technische Universität München, Munich, Germany , &#.de Abstract. Threshold automata are a formalism ...

Computer Aided Verification: 33rd International Conference, CAV ...books.google.co.in › books

books.google.co.in

... Marijana Lazic Owolabi Legunsen K. Rustan M. Leino (Co-chair) Rupak Majumdar Ruben Martins Ken McMillan Aina Niemetz Ruzica Piskac Sylvie Putot University ...

Computer Aided Verification: 35th International Conference, CAV ...books.google.co.in › books

books.google.co.in

... Marijana Lazic Matteo Sammartino Fellowship Chair Eric Koskinen AWS CA, USA Stevens Institute of Technology, USA TU Delft, The Netherlands TU Munich ...

Parameterized Verification of Synchronized Concurrent Programsbooks.google.co.in › books

books.google.co.in

... Marijana Lazic, and Josef Widder. “A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries.” In: Proceedings of the 22nd ...

Tools and Algorithms for the Construction and Analysis of Systems: ...books.google.co.in › books

books.google.co.in

... Marijana Lazic. Complexity of verifi- cation and synthesis of threshold automata. In Proceedings of the 18th International Symposium on Automated Technology ...

Verification, Model Checking, and Abstract Interpretation: 19th ...books.google.co.in › books

books.google.co.in

... Marijana Lazic, Helmut Veith, and Josef Widder. Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed ...

Verification, Model Checking, and Abstract Interpretation: 19th

books.google.com.tr

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018,...

Automata Theory: An Algorithmic Approachbooks.google.co.in › books

books.google.co.in

... expression , although not the one given in the chapter using NFA - reg . Exercises 5 and 7 were respectively inspired by Marijana Lazić Bibliographic Notes.

Verwandte Suchanfragen zu Marijana Lazic

Josef Widder

Personen
Vorname "Marijana" (1023)
Name "Lazic" (333)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Marijana Lazic