Petrov, Tatjana

Lade...
Profilbild
E-Mail-Adresse
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name

Suchergebnisse Publikationen

Gerade angezeigt 1 - 2 von 2
  • Veröffentlichung
    Zeitschriftenartikel
    Lumpability abstractions of rule-based systems
    (2012) Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
    Erschienen in: Theoretical Computer Science. 2012, 431, pp. 137-164. ISSN 0304-3975. eISSN 1879-2294. Available under: doi: 10.1016/j.tcs.2011.12.059
    Feret_2-wh1932hvqp1w4.pdf
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Lumpability Abstractions of Rule-based Systems
    (2010) Feret, Jérôme; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
    Erschienen in: BEHRE, Jörn, ed. and others. Proceedings compendium of the Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi : MeCBIC2010 : and of the First Workshop on Applications of Membrane Computing : Concurrency : and Agent-based Modelling in Population Biology : AMCA-POP2010 : satellite events of the Eleventh International Conference on Membrane Computing : CMC11 : Friedrich Schiller University Jena : Germany 23 and 25 August 2010. Berlin: Pro Business, 2010, pp. 135-154. ISBN 978-3-86805-767-6