Zum Inhalt springen Křetínský, Jan; Sickert, Salomon Automated Technology for Verification and Analysis: MoTraS: A Tool for Modal Transition Systems and Their Extensions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2013 Erschienen in: Automated Technology for Verification and Analysis Srba, Jiří Beyond the Classical Modal Transition Systems : Invited Paper at the Fourth Workshop on Foundations of Interface Technologies : Invited Paper at the Fourth Workshop on Foundations of Interface Technologies Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2012 Erschienen in: Electronic Proceedings in Theoretical Computer Science Varshosaz, Mahsa; Mousavi, Mohammad Reza SOFSEM 2019: Theory and Practice of Computer Science: Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2019 Erschienen in: SOFSEM 2019: Theory and Practice of Computer Science Mateescu, Radu Tools and Algorithms for the Construction and Analysis of Systems: Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2002 Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems
Křetínský, Jan; Sickert, Salomon Automated Technology for Verification and Analysis: MoTraS: A Tool for Modal Transition Systems and Their Extensions Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2013 Erschienen in: Automated Technology for Verification and Analysis
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Srba, Jiří Beyond the Classical Modal Transition Systems : Invited Paper at the Fourth Workshop on Foundations of Interface Technologies : Invited Paper at the Fourth Workshop on Foundations of Interface Technologies Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2012 Erschienen in: Electronic Proceedings in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Varshosaz, Mahsa; Mousavi, Mohammad Reza SOFSEM 2019: Theory and Practice of Computer Science: Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2019 Erschienen in: SOFSEM 2019: Theory and Practice of Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mateescu, Radu Tools and Algorithms for the Construction and Analysis of Systems: Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2002 Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (61) Wert ausschließen Bücher (2) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (2) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (24) Wert ausschließen Ohne Angabe (40) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (37) Wert ausschließen Nicht zu entscheiden (27) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (17) Wert ausschließen Mathematik (11) Wert ausschließen Technik (5) Wert ausschließen Philosophie (3) Wert ausschließen Physik (3) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Křetínský, Jan (9) Wert ausschließen Larsen, Kim G. (9) Wert ausschließen Beneš, Nikola (6) Wert ausschließen Srba, Jiří (6) Wert ausschließen Huth, Michael (5) Wert ausschließen Legay, Axel (5) Wert ausschließen Fahrenberg, Uli (4) Wert ausschließen Uchitel, Sebastian (4) Wert ausschließen Bauer, Sebastian S. (3) Wert ausschließen Braberman, Victor (3) Wert ausschließen Damiani, Ferruccio (3) Wert ausschließen Gnesi, Stefania (3) Wert ausschließen Juhl, Line (3) Wert ausschließen Kramer, Jeff (3) Wert ausschließen Mazzanti, Franco (3) Wert ausschließen Møller, Mikael H. (3) Wert ausschließen Paolini, Luca (3) Wert ausschließen Sickert, Salomon (3) Wert ausschließen Steffen, Bernhard (3) Wert ausschließen ter Beek, Maurice H. (3) Wert ausschließen Alberucci, Luca (2) Wert ausschließen Darondeau, Philippe (2) Wert ausschließen Dimovski, Aleksandar S. (2) Wert ausschließen Facchini, Alessandro (2) Wert ausschließen Guldstrand Larsen, Kim (2) Wert ausschließen Jagadeesan, Radha (2) Wert ausschließen Jasper, Marc (2) Wert ausschließen Maubert, Bastien (2) Wert ausschließen Pinchinat, Sophie (2) Wert ausschließen Schlachter, Uli (2) Wert ausschließen Siegel, Stephen F. (2) Wert ausschließen Thrane, Claus (2) Wert ausschließen Uchitel, Sebastián (2) Wert ausschließen Alrajeh, Dalal (1) Wert ausschließen Andrade, Aline (1) Wert ausschließen BAUER, SEBASTIAN S. (1) Wert ausschließen BENTHEM, JOHAN VAN (1) Wert ausschließen Benes, Nikola (1) Wert ausschließen Beneš, N. (1) Wert ausschließen Blanchini, Franco (1) Wert ausschließen Borgström, Johannes (1) Wert ausschließen Bujtor, Ferenc (1) Wert ausschließen Calder, M. (1) Wert ausschließen Casagrande, Daniele (1) Wert ausschließen Chechik, Marsha (1) Wert ausschließen Dalal Alrajeh and Jeff Kramer and Alessandra Russo and Sebastian Uchitel (1) Wert ausschließen Dima, Catalin (1) Wert ausschließen Dima, Cătălin (1) Wert ausschließen Doberkat, Ernst-Erich (1) Wert ausschließen D’Ippolito, Nicolás (1) Wert ausschließen EIJCK, JAN VAN (1) Wert ausschließen Eriksson, Lars-Henrik (1) Wert ausschließen Ernst-Erich Doberkat and Alexander Kurz (1) Wert ausschließen Espada, Miguel Valero (1) Wert ausschließen Fecher, H. (1) Wert ausschließen Fecher, Harald (1) Wert ausschließen Fischbein, Dario (1) Wert ausschließen Funiak, Stanislav (1) Wert ausschließen Godefroid, Patrice (1) Wert ausschließen Guerra, Paulo T. (1) Wert ausschließen Gutkovas, Ramunas (1) Wert ausschließen Hennicker, Rolf (1) Wert ausschließen JUHL, LINE (1) Wert ausschließen Janisch, Stephan (1) Wert ausschließen Joachim Parrow (1) Wert ausschließen Joachim Parrow and Johannes Borgström and Lars-Henrik Eriksson and Ramunas Gutkovas and Tjark Weber (1) Wert ausschließen Johannes Borgström (1) Wert ausschließen Kretinsky, Jan (1) Wert ausschließen Krka, Ivo (1) Wert ausschließen Kurz, Alexander (1) Wert ausschließen Křetínský, J. (1) Wert ausschließen LARSEN, KIM G. (1) Wert ausschließen LEGAY, AXEL (1) Wert ausschließen Lars-Henrik Eriksson (1) Wert ausschließen Larsen, K.G. (1) Wert ausschließen Lee, Matias David (1) Wert ausschließen Marchand, Hervé (1) Wert ausschließen Mateescu, Radu (1) Wert ausschließen Matias David Lee and Erik P. de Vink (1) Wert ausschließen Medvidović, Nenad (1) Wert ausschließen Miani, Stefano (1) Wert ausschließen Mousavi, Mohammad Reza (1) Wert ausschließen Nikola Benes and Jan Kretinsky (1) Wert ausschließen Otto, Martin (1) Wert ausschließen Parrow, Joachim (1) Wert ausschließen Ramūnas Forsberg Gutkovas (1) Wert ausschließen Ricker, Laurie (1) Wert ausschließen Rob van Glabbeek (1) Wert ausschließen Russo, Alessandra (1) Wert ausschließen SRBA, JIŘÍ (1) Wert ausschließen STEBLETSOVA, VERA (1) Wert ausschließen Sassolas, Mathieu (1) Wert ausschließen Schmidt, David (1) Wert ausschließen Schmidt, H. (1) Wert ausschließen Sibay, German E. (1) Wert ausschließen Sibay, German Emir (1) Wert ausschließen Srba, J. (1) Wert ausschließen Srba, Jiřı´ (1) Wert ausschließen Sun, Jiabao (1) Wert ausschließen Tjark Weber (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (19) Wert ausschließen BASE - Bielefeld Academic Search Engine (10) Wert ausschließen Elsevier BV (CrossRef) (9) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (8) Wert ausschließen Springer International Publishing (CrossRef) (7) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (6) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen Oxford University Press (OUP) (CrossRef) (2) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Diss online (1) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences I Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen