Legay2010a

Alexandre David, Kim G. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. In Proc. 8th Symposium on Automated Technology for Verification and Analysis, Singapore, Lecture Notes in Computer Science, Pages 0-0, 2010.

Keyword

[ Component ]

BibTex Reference

@InProceedings{Legay2010a,
   Author = {David, Alexandre and G. Larsen, Kim G. and Legay, Axel and Nyman, Ulrik and Wasowski, Andrzej},
   Title = {Methodologies for Specification of Real-Time Systems Using Timed I/O Automata},
   BookTitle = {Proc. 8th Symposium on Automated Technology for Verification and Analysis, Singapore},
   Pages = {0--0},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-verlag},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)