Monika Juhasz (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz: Specifying High-Assurance Services. IEEE Computer 41(8): 64-71 (2008)

1 Colin Atkinson, Philipp Bostan, Daniel Brenner, Giovanni Falcone, Matthias Gutheil, Oliver Hummel, Monika Juhasz, Dietmar Stoll: Modeling Components and Component-Based Systems in KobrA. CoCoME 2007: 54-84

Selection of 2 from 2 records - Monika Juhasz has 7 coauthors

2		Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz: Specifying High-Assurance Services. IEEE Computer 41(8): 64-71 (2008)
1		Colin Atkinson, Philipp Bostan, Daniel Brenner, Giovanni Falcone, Matthias Gutheil, Oliver Hummel, Monika Juhasz, Dietmar Stoll: Modeling Components and Component-Based Systems in KobrA. CoCoME 2007: 54-84