diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2023-02-04 21:13:57 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2023-02-04 21:13:57 +0100 |
| commit | e18408ab12b15d93e58ff839e991f5f1cc354b52 (patch) | |
| tree | 32f54045052175aa601b53829040ab2d6657ece9 /experience/2020-03_nii.nix | |
| parent | 781d209b07e685088194418a339d0e3843e9964b (diff) | |
experience: sell my work more in internships' descriptions
Diffstat (limited to 'experience/2020-03_nii.nix')
| -rw-r--r-- | experience/2020-03_nii.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix index ae2a701..95b641c 100644 --- a/experience/2020-03_nii.nix +++ b/experience/2020-03_nii.nix @@ -24,5 +24,5 @@ id = "aristoteFibrationalFrameworkNested2020"; } ]; - description = "Studied a fibrational framework for nested fixed points and (bi)simulation notions for Büchi automata."; + description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games."; } |