Zum Inhalt springen Ben Salem, Ala Eddine [VerfasserIn] ; Paris 6 [MitwirkendeR]; Kordon, Fabrice [MitwirkendeR] Improving the model checking of stutter-invariant LTL properties ; Amélioration du model checking des propriétés LTL insensibles au bégaiement Hochschulschriften Online ansehen Schließen > Links http://www.theses.fr/2014PA066186/document 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. theses.fr, 2014-09-25
Ben Salem, Ala Eddine [VerfasserIn] ; Paris 6 [MitwirkendeR]; Kordon, Fabrice [MitwirkendeR] Improving the model checking of stutter-invariant LTL properties ; Amélioration du model checking des propriétés LTL insensibles au bégaiement Hochschulschriften Online ansehen Schließen > Links http://www.theses.fr/2014PA066186/document 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. theses.fr, 2014-09-25
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Person/Institution Skip to next facet Ben Salem, Ala Eddine (1) Wert ausschließen Kordon, Fabrice (1) Wert ausschließen Paris 6 (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen theses.fr (1) Wert ausschließen zeige weitere weniger zeigen