( en | de | ru )

 

Disambiguierung von "Pavón, Santiago"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks.

, , , , , , , , , und . IWACA, Volume 868 von Lecture Notes in Computer Science, Seite 353-362. Springer, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Domenico Pavone

Santiago Suppan

Santiago Ewig

Beatrix Santiago

Santiago Martinez

 

Weitere Publikationen von Autoren mit dem selben Namen

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