Lucian Bentea

• Bentea, Lucian & Owe, Olaf (2011). A Framework for Object-Oriented Modeling and Analysis of Probabilistic Open Distributed Systems, In Bernhard Beckert; Ferruccio Damiani & Dillan Gurov (ed.),  Formal Verification of Object-Oriented Software.  Karlsruhe Institute of Technology.  Paper.  s 103 - 120
• Bentea, Lucian & Ølveczky, Peter Csaba (2011). Probabilistic Real-Time Rewrite Theories and Their Expressive Power . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  6919, s 60- 79
• Bentea, Lucian & Owe, Olaf (2010). Object-Oriented Modeling of Probalilistic, Open Distibuted Systems, In Marina Walden & Luigia Petre (ed.),  Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10.  TUCS.  ISBN 978-952-12-2478-2.  Extended abstract.  s 85 - 87

View all works in Cristin