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

Forte05

Thomas Chatain, Loc Hlout, Claude 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, Volume 3731, Pages 489-502, October 2005.

Note on this paper

Partial orders, scenarios, unfolding

Keyword

[ Scenarios ]

Contact

Loc Hlout http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html
Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{Forte05,
   Author = {Chatain, Thomas and Hlout, Loc and Jard, Claude},
   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)