Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Priority management in Alvis language., , , and . MIXDES, page 464-468. IEEE, (2016)Communication between agents in Alvis language., , , and . MIXDES, page 448-453. IEEE, (2016)Alvis Language with Time Dependence., , and . FedCSIS, page 1553-1558. (2013)Modelling and Verification of Real-Time Systems with Alvis., , and . KKIO Software Engineering Conference, volume 733 of Studies in Computational Intelligence, page 165-178. Springer, (2017)Simulation of Multi-agent Systems with Alvis Toolkit., , , and . ICAISC (2), volume 10246 of Lecture Notes in Computer Science, page 599-608. Springer, (2017)Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation., , and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 409-420. CEUR-WS.org, (2013)