Вы здесь

Главная

Cerone A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Z Based Approach to Verifying Security Protocols 2003 Long B. W., Fidge C. J., Cerone A. Lecture Notes in Computer Science 09.01.2004
СТ Implementing Condition/Event Nets in the Circal Process Algebra 2002 Cerone A. Lecture Notes in Computer Science 15.05.2002
СТ Process Algebra versus Axiomatic Specification of a Real-Time Protocol 2000 Cerone A. Lecture Notes in Computer Science 17.06.2000
СТ Specification of Timing Constraints within the Circal Process Algebra 1997 Cerone A., Milne G. J. Lecture Notes in Computer Science 30.12.1997
СТ Expressivity of Timed Petri Nets: Classical versus Time-Critical Viewpoint 1994 Cerone A., Maggiolo-Schettini A. Univ.Warsaw, Humboldt Univ. Berlin Proceedings of the CS@P 93 Workshop 09.11.1995
СТ Expressively of Timed Petri Nets: Classical versus Time-Critical Viewpoint 1994 Cerone A., Maggiolo-Schettini A. Concurrency Specification and Programming: Proc./CS&P 93 Workshop, Nieborow near Warsaw, Poland, 14-16 October 1993 28.10.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Revised Selected Papers/SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert, Thessaloniki, Greece, October 2012 2014 Lecture Notes in Computer Science
  1. Cerone A.
 22.04.2014
СБ Theoretical Aspects of Computing - ICTAC 2011: Proc./8th International Colloquium, Johannesburg, South Africa, August 2011 2011 Lecture Notes in Computer Science
  1. Cerone A.
  2. Pihlajasaari P.
 18.10.2011
СБ Theoretical Aspects of Computing - ICTAC 2006: Proc./Third International Colloquium. Tunis, Tunisia, November 2006 2006 Lecture Notes in Computer Science
  1. Barkaoui K.
  2. Cavalcanti A.
  3. Cerone A.
 11.01.2007