Jump to : Keyword | Contact | BibTex reference | EndNote reference |

Forte05

T. Chatain, L. Hélouet, C. Jard. From Automata Networks to HMSCs: a Reverse Model Engineering Perspective. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS, Partial orders, scenarios, unfoldings, Volume 3731, Pages 489-502, October 2005.

Keyword

[ Scenarios ]

Contact

Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

@InProceedings{Forte05,
   Author = {Chatain, T. and Hélouet, L. and Jard, C.},
   Title = {From Automata Networks to HMSCs: a Reverse Model Engineering Perspective},
   BookTitle = {25th IFIP WG 6.1 International Conference on Formal Techniques for    Networked and Distributed Systems (FORTE 2005)},
   Volume = {3731},
   Pages = {489--502},
   Series = {LNCS},
   Publisher = {Springer Verlag},
   Month = {October},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)