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
-
Language
-
-
Open access status
-
closed
-
Identifiers
-
-
Persistent URL
-
https://sonar.ch/global/documents/282312
Statistics
Document views: 42
File downloads: