Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in
PIPS
From MaRDI portal
Jump to:
navigation
,
search
MaRDI QID
Q46450
swMATH
FDO
Official website
https://pips4u.org
Cited in
(5)
Equivalence checking of Petri net models of programs using static and dynamic cut-points
PLuTo
Flamel
SamaTulyata
v2c
This page was built for software: PIPS
Tools
What links here
Related changes
Printable version
Permanent link
Page information
