Вы здесь

Главная

Abdulla P. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Existence of Network Invariants for Verifying Parameterized Systems 1999 Abdulla P. A., Jonsson B. Lecture Notes in Computer Science 20.11.1999
СТ Handling Global Conditions in Parametrized System Verification 1999 Abdulla P. A., Bouajjani A., Jonsson B., Nilsson M. Lecture Notes in Computer Science 16.07.1999
СТ A General Approach to Partial Order Reductions in Symbolic Verification 1998 Abdulla P. A., Jonsson B., Kindahl M., Peled D. Lecture Notes in Computer Science 03.07.1998
СТ Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems 1995 Abdulla P. A., Kindahl M. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ Undecidable Verification Problems for Programs with Unreliable Channels 1994 Abdulla P. A., Jonsson B. Lecture Notes in Computer Science 11.08.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013 2013 Lecture Notes in Computer Science
  1. Abdulla P. A.
  2. Potapov I.
 18.11.2013
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./17th Intern.Conf. TACAS 2001, Held as Part of Joint European Conferences ETAPS 2001, Saarbrucken, Germany, March 2011 2011 Lecture Notes in Computer Science
  1. Abdulla P. A.
  2. Leino K.R. M.
 14.05.2011