Enhancing Formal Methods Integration with ACP2Petri

Journal title: Journal of Information and Organizational Sciences

Authors: Slavomír Šimoňák, Martin Šolc

Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems

Article processing charges

Type

License

Index