Journal article
Formal Analysis of SystemC Designs in Process Algebra
- Hojjat, Hossein Ecole Polytechnique Fédérale de Lausanne, Station 14, CH-1015 Lausanne, Switzerland. hossein.hojjat@epfl.ch
- Mousavi, Mohammad Reza Eindhoven University of Technology, P.O. Box 513, NL-5600MB, Eindhoven, The Netherlands. m.r.mousavi@tue.nl
- Sirjani, Marjan Reykjavik University, Reykjavik, Iceland, University of Tehran, Tehran, Iran. marjan@ru.is
Published in:
- Fundamenta Informaticae. - IOS Press. - 2011, vol. 107, no. 1, p. 19-42
Theoretical Computer Science
Computational Theory and Mathematics
Algebra and Number Theory
Information Systems
- Language
-
- English
- Open access status
- closed
- Identifiers
-
- DOI 10.3233/fi-2011-391
- ISSN 0169-2968
- Persistent URL
- https://sonar.ch/global/documents/282312
Export to…
Statistics
Document views: 45
File downloads: