Translating Erlang to mCRL
Paper i proceeding, 2004
Författare
Thomas Arts
Göteborgs universitet
Clara Benac Earle
Juan José Sánchez Penas
In Proc. of Int. Conf. on Application of Concurrency to System Design
Ämneskategorier
Data- och informationsvetenskap