( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
State Exploration by Transformation with LOLA.

, , и . Automatic Verification Methods for Finite State Systems, том 407 из Lecture Notes in Computer Science, стр. 294-302. Springer, (1989)

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.

Domenico Pavone

Santiago Suppan

Santiago Ewig

Beatrix Santiago

Santiago Martinez

 

Другие публикации лиц с тем же именем

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