Author of the publication

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.

 

Other publications of authors with the same name

State Exploration by Transformation with LOLA., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 294-302. Springer, (1989)From LOTOS to Petri Nets through Iexpansion., , and . FORTE, volume 69 of IFIP Conference Proceedings, page 485-500. Chapman & Hall, (1996)ISABEL: A CSCW Application for the Distribution of Events., , , , , , , , and . COST 237 Workshop, volume 1185 of Lecture Notes in Computer Science, page 137-153. Springer, (1996)Transforming LOTOS Specifications with LOLA - The Parameterised Expansion., , and . FORTE, page 45-54. North-Holland, (1988)A Collaborative Environment Integration Layer for Activity Orientation., , , , , and . CollaborateCom, IEEE Computer Society / ICST, (2006)Managing Distributed Conferences with ISABEL., , , , , , , , and . MMNS, volume 182 of IFIP Conference Proceedings, page 89-101. Kluwer, (2000)Inverse Expansion., , , , and . FORTE, volume C-2 of IFIP Transactions, page 297-312. North-Holland, (1991)Compressing the State Space Representation of LOTOS Specifications., , and . FORTE, volume C-22 of IFIP Transactions, page 19-34. North-Holland, (1993)ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks., , , , , , , , , and . IWACA, volume 868 of Lecture Notes in Computer Science, page 353-362. Springer, (1994)The Testing Functionalities of LOLA., and . FORTE, page 559-562. North-Holland, (1990)