External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data

Aleksandar Kirilov, Darko Martinovikj, Kristijan Mishevski, Marija Petkovska, Zlatka Trajcheska, Jasen Markovski. A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data. In Steve Counsell, Manuel Núñez, editors, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Volume 8368 of Lecture Notes in Computer Science, pages 101-112, Springer, 2013. [doi]

Authors

Aleksandar Kirilov

This author has not been identified. Look up 'Aleksandar Kirilov' in Google

Darko Martinovikj

This author has not been identified. Look up 'Darko Martinovikj' in Google

Kristijan Mishevski

This author has not been identified. Look up 'Kristijan Mishevski' in Google

Marija Petkovska

This author has not been identified. Look up 'Marija Petkovska' in Google

Zlatka Trajcheska

This author has not been identified. Look up 'Zlatka Trajcheska' in Google

Jasen Markovski

This author has not been identified. Look up 'Jasen Markovski' in Google
runs on