Detail publikace

Verification of Parameterized Concurrent Systems with Resource Sharing

BOUAJJANI Ahmed, HABERMEHL Peter a VOJNAR Tomáš. Verification of Parameterized Concurrent Systems with Resource Sharing. Paris: The Information Society Technologies (IST) programme of the EU Fifth Framework Programme, 2002.
Typ
technická zpráva
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Habermehl Peter (UPAR7)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Rok
2002
Strany
27
Vydavatel
The Information Society Technologies (IST) programme of the EU Fifth Framework Programme
Místo
Paris, FR
BibTeX 
@TECHREPORT{FITPUB7103,
   author = "Ahmed Bouajjani and Peter Habermehl and Tom\'{a}\v{s} Vojnar",
   title = "Verification of Parameterized Concurrent Systems with Resource Sharing",
   pages = 27,
   year = 2002,
   location = "Paris, FR",
   publisher = "The Information Society Technologies (IST) programme of the EU Fifth Framework Programme",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7103"
}
Nahoru