( en | de | ru )

 

Disambiguation of "Petre, Luigia"

Author of the publication

copydeleteadd this publication to your clipboard
Kaisa Sere: In Memoriam.

, , and . Formal Asp. Comput., 26 (2): 197-201 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luigia Garrapa

Petre Mincea

Petre Dodoc

Petre Kolarov

Petre Ercuţă

 

Other publications of authors with the same name

Formalising UML Use Cases in the Refinement Calculus, , and . TUCS-TR-279. (February 1999)Continuous Action Systems as a Model for Hybrid Systems., , and . Nord. J. Comput., 8 (1): 2-21 (2001)On Proving Recoverability of Smart Electrical Grids., , , , , , and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 77-91. Springer, (2014)Mobile Ambients and P-Systems., and . J. Univers. Comput. Sci., 5 (9): 588-598 (1999)Generalizing Action Systems to Hybrid Systems., , and . FTRTFT, volume 1926 of Lecture Notes in Computer Science, page 202-213. Springer, (2000)Improved Recovery for Proactive, Distributed Routing., and . ICECCS, page 178-181. IEEE Computer Society, (2015)Formal development of wireless sensor-actor networks., , , and . Sci. Comput. Program., (2014)A Software Quality Course: The Breadth Approach.. QUATIC, volume 1439 of Communications in Computer and Information Science, page 536-552. Springer, (2021)A topological approach to distributed computing., , and . WDS@FCT, volume 28 of Electronic Notes in Theoretical Computer Science, page 59-80. Elsevier, (1999)Model-Based Analysis Tools for Component Synthesis., , and . FMCO, volume 6957 of Lecture Notes in Computer Science, page 102-121. Springer, (2010)