-
Selection by year
-
Selection by authors
-
Complete lists
rrc99
O Roux, V. Rusu, F. Cassez. Hybrid verifications of reactive programs. Formal Aspects of Computing, 11(4):448-471, 1999.
BibTex Reference
@article{rrc99,
Author = {Roux, O and Rusu, V. and Cassez, F.},
Title = {Hybrid verifications of reactive programs},
Journal = {Formal Aspects of Computing},
Volume = {11},
Number = {4},
Pages = {448--471},
Year = {1999}
}
EndNote Reference [help]
Get EndNote Reference (.ref)