Petrov, Tatjana
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Petrov
Vorname
Tatjana
Name
2 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 2 von 2
- VeröffentlichungZeitschriftenartikelLumpability abstractions of rule-based systems(2012) Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, TatjanaErschienen 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
- VeröffentlichungBeitrag zu einem KonferenzbandLumpability Abstractions of Rule-based Systems(2010) Feret, Jérôme; Henzinger, Thomas; Koeppl, Heinz; Petrov, TatjanaErschienen 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