Filters
Advanced search ?

Search for: [Title = The use of model checking and the COSMA environment in the design of reactive systems] OR [Creator = Mieścicki, Jerzy]

Number of results: 1

Items per page:
add all to bibliography
Behavioral an real-time verification of a pipeline in the COSMA environment

Mieścicki, Jerzy Daszczuk, Wiktor B. Uniwersytet Marii Curie-Skłodowskiej (Lublin)

2006
artykuł

Contact details

Address

Biblioteka UMCS
ul. Radziszewskiego 11
20-031 Lublin, Poland

Phone

(+48) 81 537 58 16

E-Mail

j.startek@umcs.pl

u.zielinska@umcs.pl

Visit us!

This page uses 'cookies'. More information