BPR-lata09

N. Bertrand, S. Pinchinat, J.-B. Raclet. Refinement and Consistency of Timed Modal Specifications. In Proc. of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), LNCS, April 2009.

BibTex Reference

@InProceedings{BPR-lata09,
   Author = {Bertrand, N. and Pinchinat, S. and Raclet, J.-B.},
   Title = {Refinement and Consistency of Timed Modal Specifications},
   BookTitle = {Proc. of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09)},
   Series = {LNCS},
   Publisher = {Springer},
   Month = {April},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)