Lattice structures for bisimilar Probabilistic Automata
Schuster, Johann, Siegle, Markus
Published in Electronic proceedings in theoretical computer science (23.02.2014)
Published in Electronic proceedings in theoretical computer science (23.02.2014)
Get full text
Journal Article
1,2,4,5-Tetrazine: Synthesis and Reactivity in [4+2] Cycloadditions
Sauer, Jürgen, Heldmann, Dieter K., Hetzenegger, Josef, Krauthan, Josef, Sichert, Heinz, Schuster, Johann
Published in European journal of organic chemistry (01.12.1998)
Published in European journal of organic chemistry (01.12.1998)
Get full text
Journal Article
The quest for minimal quotients for probabilistic and Markov automata
Eisentraut, Christian, Hermanns, Holger, Schuster, Johann, Turrini, Andrea, Zhang, Lijun
Published in Information and computation (01.10.2018)
Published in Information and computation (01.10.2018)
Get full text
Journal Article
Symbolic counterexample generation for large discrete-time Markov chains
Jansen, Nils, Wimmer, Ralf, Ábrahám, Erika, Zajzon, Barna, Katoen, Joost-Pieter, Becker, Bernd, Schuster, Johann
Published in Science of computer programming (01.10.2014)
Published in Science of computer programming (01.10.2014)
Get full text
Journal Article
Gradient system providing continuously variable field characteristics
Kimmlingen, Ralph, Gebhardt, Matthias, Schuster, Johann, Brand, Martin, Schmitt, Franz, Haase, Axel
Published in Magnetic resonance in medicine (01.04.2002)
Published in Magnetic resonance in medicine (01.04.2002)
Get full text
Journal Article
Conference Proceeding